com.uppaal.engine
Class Problem

java.lang.Object
  com.uppaal.engine.Problem

public class Problem
extends Object

A representation of a syntax error or warning.

Constructor Summary

Problem(String type, String path, int fline, int fcolumn, int lline, int lcolumn, String msg)

Method Summary

int	getFirstColumn()
int	getFirstLine()
int	getLastColumn()
int	getLastLine()
String	getMessage()
String	getPath()
String	getType()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Problem

public Problem(String type,
               String path,
               int fline,
               int fcolumn,
               int lline,
               int lcolumn,
               String msg)

Method Detail

getType

public String getType()

getMessage

public String getMessage()

getPath

public String getPath()

getFirstLine

public int getFirstLine()

getFirstColumn

public int getFirstColumn()

getLastLine

public int getLastLine()

getLastColumn

public int getLastColumn()

toString

public String toString()

Overrides:

toString in class Object