public final class AEvent extends PEvent
Constructor and Description |
---|
AEvent() |
AEvent(TIdentifierLiteral _eventName_,
PEventstatus _status_,
java.util.List<TIdentifierLiteral> _refines_,
java.util.List<PExpression> _variables_,
java.util.List<PPredicate> _guards_,
java.util.List<PPredicate> _theorems_,
java.util.List<PSubstitution> _assignments_,
java.util.List<PWitness> _witness_) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
java.util.LinkedList<PSubstitution> |
getAssignments() |
TIdentifierLiteral |
getEventName() |
java.util.LinkedList<PPredicate> |
getGuards() |
java.util.LinkedList<TIdentifierLiteral> |
getRefines() |
PEventstatus |
getStatus() |
java.util.LinkedList<PPredicate> |
getTheorems() |
java.util.LinkedList<PExpression> |
getVariables() |
java.util.LinkedList<PWitness> |
getWitness() |
void |
setAssignments(java.util.List<PSubstitution> list) |
void |
setEventName(TIdentifierLiteral node) |
void |
setGuards(java.util.List<PPredicate> list) |
void |
setRefines(java.util.List<TIdentifierLiteral> list) |
void |
setStatus(PEventstatus node) |
void |
setTheorems(java.util.List<PPredicate> list) |
void |
setVariables(java.util.List<PExpression> list) |
void |
setWitness(java.util.List<PWitness> list) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos
public AEvent()
public AEvent(TIdentifierLiteral _eventName_, PEventstatus _status_, java.util.List<TIdentifierLiteral> _refines_, java.util.List<PExpression> _variables_, java.util.List<PPredicate> _guards_, java.util.List<PPredicate> _theorems_, java.util.List<PSubstitution> _assignments_, java.util.List<PWitness> _witness_)
public void apply(Switch sw)
public TIdentifierLiteral getEventName()
public void setEventName(TIdentifierLiteral node)
public PEventstatus getStatus()
public void setStatus(PEventstatus node)
public java.util.LinkedList<TIdentifierLiteral> getRefines()
public void setRefines(java.util.List<TIdentifierLiteral> list)
public java.util.LinkedList<PExpression> getVariables()
public void setVariables(java.util.List<PExpression> list)
public java.util.LinkedList<PPredicate> getGuards()
public void setGuards(java.util.List<PPredicate> list)
public java.util.LinkedList<PPredicate> getTheorems()
public void setTheorems(java.util.List<PPredicate> list)
public java.util.LinkedList<PSubstitution> getAssignments()
public void setAssignments(java.util.List<PSubstitution> list)
public java.util.LinkedList<PWitness> getWitness()
public void setWitness(java.util.List<PWitness> list)
public java.lang.String toString()
toString
in class java.lang.Object