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 object
Problem(String type, String path, String msg)

Method Summary

Modifier and Type	Method	Description
String	getContext()	Get the error location
int	getFirstColumn()	Get the number of the first column
int	getFirstLine()	Get the first line of the problem
int	getLastColumn()	Get the number of the last column
int	getLastLine()	Get the number of the last line
String	getMessage()	Get the message of the problem
String	getType()	Get the problem type
String	getXPath()	Get the path where the problem come from
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

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 string

fline - - The number of the first line

fcolumn - - The number of the first column

lline - - The number of the last line

lcolumn - - The number of the last column

msg - - The message text

context - - The surrounding text

Problem

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

Problem

public Problem(String type, String path, String msg)

Method Details

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

toString

public String toString()

Overrides:

toString in class Object