Package com.uppaal.engine

Class Problem

  • public class Problem
extends java.lang.Object
    A representation of a syntax error or warning.

    • Constructor Summary

      Constructors 
      Constructor Description
      Problem​(java.lang.String type, java.lang.String path, int fline, int fcolumn, int lline, int lcolumn, java.lang.String msg)  
      Problem​(java.lang.String type, java.lang.String path, int fline, int fcolumn, int lline, int lcolumn, java.lang.String msg, java.lang.String context)
      Constructor: Creates a new problem object
      Problem​(java.lang.String type, java.lang.String path, java.lang.String msg)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.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
      java.lang.String getMessage()
      Get the message of the problem
      java.lang.String getType()
      Get the problem type
      java.lang.String getXPath()
      Get the path where the problem come from
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • Problem

        public Problem​(java.lang.String type,
               java.lang.String path,
               int fline,
               int fcolumn,
               int lline,
               int lcolumn,
               java.lang.String msg,
               java.lang.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​(java.lang.String type,
               java.lang.String path,
               int fline,
               int fcolumn,
               int lline,
               int lcolumn,
               java.lang.String msg)

      • Problem

        public Problem​(java.lang.String type,
               java.lang.String path,
               java.lang.String msg)

    • Method Detail

      • getType

        public java.lang.String getType()
        Get the problem type
        Returns:
        type - The type string

      • getMessage

        public java.lang.String getMessage()
        Get the message of the problem
        Returns:
        msg - The message string

      • getXPath

        public java.lang.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 java.lang.String getContext()
        Get the error location
        Returns:
        - The location string

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object