edu.wis.jtlv.env.core.spec
Class InternalSpec

java.lang.Object
  extended by edu.wis.jtlv.env.core.spec.InternalSpec
Direct Known Subclasses:
InternalSpecBDD, InternalSpecCTLRange, InternalSpecExp

public abstract class InternalSpec
extends java.lang.Object


Field Summary
static boolean evalBDDs
           
 org.antlr.runtime.Token tend
           
 org.antlr.runtime.Token tstart
           
 
Constructor Summary
InternalSpec(java.lang.String exp_str, org.antlr.runtime.Token start)
           
 
Method Summary
abstract  void evalBDDChildrenExp(org.antlr.runtime.TokenStream input)
           
abstract  boolean hasTemporalOperators()
           
abstract  boolean isCTLSpec()
           
abstract  boolean isCTLStarSpec()
           
abstract  boolean isFutureLTLSpec()
           
abstract  boolean isLTLSpec()
           
abstract  boolean isPastLTLSpec()
           
abstract  boolean isPropSpec()
           
abstract  boolean isRealTimeCTLSpec()
           
 void setEndToken(org.antlr.runtime.Token end)
           
abstract  java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

tstart

public org.antlr.runtime.Token tstart

tend

public org.antlr.runtime.Token tend

evalBDDs

public static boolean evalBDDs
Constructor Detail

InternalSpec

public InternalSpec(java.lang.String exp_str,
                    org.antlr.runtime.Token start)
Method Detail

setEndToken

public void setEndToken(org.antlr.runtime.Token end)

evalBDDChildrenExp

public abstract void evalBDDChildrenExp(org.antlr.runtime.TokenStream input)
                                 throws SpecParseException
Throws:
SpecParseException

isPropSpec

public abstract boolean isPropSpec()

isCTLSpec

public abstract boolean isCTLSpec()

isRealTimeCTLSpec

public abstract boolean isRealTimeCTLSpec()

isLTLSpec

public abstract boolean isLTLSpec()

isFutureLTLSpec

public abstract boolean isFutureLTLSpec()

isPastLTLSpec

public abstract boolean isPastLTLSpec()

isCTLStarSpec

public abstract boolean isCTLStarSpec()

hasTemporalOperators

public abstract boolean hasTemporalOperators()

toString

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