org.overturetool.vdmj.statements
Class ErrorStatement

java.lang.Object
  org.overturetool.vdmj.statements.Statement
      org.overturetool.vdmj.statements.ErrorStatement

All Implemented Interfaces:

java.io.Serializable

public class ErrorStatement
extends Statement

See Also:

Serialized Form

Field Summary

Fields inherited from class org.overturetool.vdmj.statements.Statement

breakpoint, location

Constructor Summary

ErrorStatement(LexLocation location)

Method Summary

Value	eval(Context ctxt) Evaluate the statement in the context given.
java.lang.String	kind() A string name of the statement type, (eg "if").
java.lang.String	toString()
Type	typeCheck(Environment env, NameScope scope) Type check the statement and return its type.

Methods inherited from class org.overturetool.vdmj.statements.Statement

abort, abort, detail, detail2, exitCheck, findExpression, findStatement, getProofObligations, hasSideEffects, report, warning

Methods inherited from class java.lang.Object

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

Constructor Detail

ErrorStatement

public ErrorStatement(LexLocation location)

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class Statement

kind

public java.lang.String kind()

Description copied from class: Statement

A string name of the statement type, (eg "if").

Specified by:

kind in class Statement

typeCheck

public Type typeCheck(Environment env,
                      NameScope scope)

Description copied from class: Statement

Type check the statement and return its type.

Specified by:

typeCheck in class Statement

eval

public Value eval(Context ctxt)

Description copied from class: Statement

Evaluate the statement in the context given.

Specified by:

eval in class Statement