Class SemanticException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--ParseException
                    |
                    +--SemanticException

All Implemented Interfaces:

Serializable

public class SemanticException

extends ParseException

Thrown when an syntaxic error is detected in a system.

Author:

P. URSO

See Also:

IdentTable, RewriteSystem, Serialized Form

Fields inherited from class ParseException

currentToken, eol, expectedTokenSequences, specialConstructor, tokenImage

Constructor Summary

SemanticException(String s)
Constructs a SemanticException with the specified detail message.

SemanticException(String s, Node node)
Constructs a SemanticException with the specified detail message and the node with problem.

SemanticException(Type expected, Type obtained, Node node)
Constructs a SemanticException with types in conflict.

Method Summary

String

getMessage() Returns the error message string of this throwable object.

Methods inherited from class ParseException

add_escapes

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, printStackTrace, printStackTrace, printStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

SemanticException

public SemanticException(String s)

Constructs a SemanticException with the specified detail message.

Parameters:

s - the detail message.

SemanticException

public SemanticException(String s,
                         Node node)

Constructs a SemanticException with the specified detail message and the node with problem.

Parameters:

s - the detail message.

node - the node with problem

SemanticException

public SemanticException(Type expected,
                         Type obtained,
                         Node node)

Constructs a SemanticException with types in conflict.

Parameters:

expected - the expected type.

obtained - the obtained type.

node - node with problem

Method Detail

getMessage

public String getMessage()

Returns the error message string of this throwable object.

Overrides:

getMessage in class ParseException

Returns:

the error message string of this throwable object.