org.overturetool.vdmj.traces
Class TraceCoreDefinition

java.lang.Object
  org.overturetool.vdmj.traces.TraceCoreDefinition

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

TraceApplyExpression, TraceBracketedExpression

public abstract class TraceCoreDefinition
extends java.lang.Object
implements java.io.Serializable

Base class for TraceApplyExpression and TraceBracketedExpression.

See Also:

Serialized Form

Field Summary

LexLocation

location

Constructor Summary

TraceCoreDefinition(LexLocation location)

Method Summary

abstract TraceNode	expand(Context ctxt)
abstract void	typeCheck(Environment local, NameScope scope)

Methods inherited from class java.lang.Object

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

Field Detail

location

public final LexLocation location

Constructor Detail

TraceCoreDefinition

public TraceCoreDefinition(LexLocation location)

Method Detail

typeCheck

public abstract void typeCheck(Environment local,
                               NameScope scope)

expand

public abstract TraceNode expand(Context ctxt)