org.overturetool.vdmj.patterns
Class Bind

java.lang.Object
  org.overturetool.vdmj.patterns.Bind

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

SetBind, TypeBind

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

The parent class of SetBind and TypeBind.

See Also:

Serialized Form

Field Summary

LexLocation	location The textual location of the bind.
Pattern	pattern The pattern of the bind.

Constructor Summary

Bind(LexLocation location, Pattern pattern)
Create a bind at the given location with the given pattern.

Method Summary

void	abort(int number, java.lang.String msg, Context ctxt)
void	abort(ValueException ve)
void	detail(java.lang.String tag, java.lang.Object obj)
void	detail2(java.lang.String tag1, java.lang.Object obj1, java.lang.String tag2, java.lang.Object obj2)
abstract ValueList	getBindValues(Context ctxt) Return a list of all possible values for the bind.
abstract java.util.List<MultipleBind>	getMultipleBindList() Return this one bind as a list of MultipleBind.
abstract ProofObligationList	getProofObligations(POContextStack ctxt) Return a list of POs.
void	report(int number, java.lang.String msg)

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

The textual location of the bind.

pattern

public final Pattern pattern

The pattern of the bind.

Constructor Detail

Bind

public Bind(LexLocation location,
            Pattern pattern)

Create a bind at the given location with the given pattern.

Method Detail

getMultipleBindList

public abstract java.util.List<MultipleBind> getMultipleBindList()

Return this one bind as a list of MultipleBind.

getProofObligations

public abstract ProofObligationList getProofObligations(POContextStack ctxt)

Return a list of POs.

getBindValues

public abstract ValueList getBindValues(Context ctxt)

Return a list of all possible values for the bind.

report

public void report(int number,
                   java.lang.String msg)

See Also:

Definition.report(int, java.lang.String)

abort

public void abort(int number,
                  java.lang.String msg,
                  Context ctxt)

See Also:

Definition.abort(int, java.lang.String, org.overturetool.vdmj.runtime.Context)

abort

public void abort(ValueException ve)

See Also:

Definition.abort(int, java.lang.String, org.overturetool.vdmj.runtime.Context)

detail

public void detail(java.lang.String tag,
                   java.lang.Object obj)

See Also:

Definition.detail(java.lang.String, java.lang.Object)

detail2

public void detail2(java.lang.String tag1,
                    java.lang.Object obj1,
                    java.lang.String tag2,
                    java.lang.Object obj2)

See Also:

Definition.detail2(java.lang.String, java.lang.Object, java.lang.String, java.lang.Object)