Package 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
Constructors Constructor Description Problem(String type, String path, int fline, int fcolumn, int lline, int lcolumn, String msg)
Problem(String type, String path, int fline, int fcolumn, int lline, int lcolumn, String msg, String context)
Constructor: Creates a new problem objectProblem(String type, String path, String msg)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getContext()
Get the error locationint
getFirstColumn()
Get the number of the first columnint
getFirstLine()
Get the first line of the problemint
getLastColumn()
Get the number of the last columnint
getLastLine()
Get the number of the last lineString
getMessage()
Get the message of the problemString
getType()
Get the problem typeString
getXPath()
Get the path where the problem come fromString
toString()
-
-
-
Constructor Detail
-
Problem
public Problem(String type, String path, int fline, int fcolumn, int lline, int lcolumn, String msg, String context)
Constructor: Creates a new problem object- Parameters:
type
- - The type of the problem ("warning" or "error")path
- - The path stringfline
- - The number of the first linefcolumn
- - The number of the first columnlline
- - The number of the last linelcolumn
- - The number of the last columnmsg
- - The message textcontext
- - The surrounding text
-
Problem
public Problem(String type, String path, int fline, int fcolumn, int lline, int lcolumn, String msg)
-
-
Method Detail
-
getType
public String getType()
Get the problem type- Returns:
- type - The type string
-
getMessage
public String getMessage()
Get the message of the problem- Returns:
- msg - The message string
-
getXPath
public String getXPath()
Get the path where the problem come from- Returns:
- path - The path string
-
getFirstLine
public int getFirstLine()
Get the first line of the problem- Returns:
- fline - The number of the first line
-
getFirstColumn
public int getFirstColumn()
Get the number of the first column- Returns:
- fcolum - The number of the first column
-
getLastLine
public int getLastLine()
Get the number of the last line- Returns:
- lline - The last line
-
getLastColumn
public int getLastColumn()
Get the number of the last column- Returns:
- - The number of the last column
-
getContext
public String getContext()
Get the error location- Returns:
- - The location string
-
-