edu.wis.jtlv.env.core.spec
Class InternalSpec
java.lang.Object
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)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
tstart
public org.antlr.runtime.Token tstart
tend
public org.antlr.runtime.Token tend
evalBDDs
public static boolean evalBDDs
InternalSpec
public InternalSpec(java.lang.String exp_str,
org.antlr.runtime.Token start)
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