public final class AOperationsMachineClause extends PMachineClause
Constructor and Description |
---|
AOperationsMachineClause() |
AOperationsMachineClause(java.util.List<POperation> _operations_) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
java.util.LinkedList<POperation> |
getOperations() |
void |
setOperations(java.util.List<POperation> list) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos
public AOperationsMachineClause()
public AOperationsMachineClause(java.util.List<POperation> _operations_)
public void apply(Switch sw)
public java.util.LinkedList<POperation> getOperations()
public void setOperations(java.util.List<POperation> list)
public java.lang.String toString()
toString
in class java.lang.Object