public final class AInitialisationMachineClause extends PMachineClause
| Constructor and Description |
|---|
AInitialisationMachineClause() |
AInitialisationMachineClause(PSubstitution _substitutions_) |
| Modifier and Type | Method and Description |
|---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
PSubstitution |
getSubstitutions() |
void |
setSubstitutions(PSubstitution node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toStringgetEndPos, getStartPos, setEndPos, setStartPospublic AInitialisationMachineClause()
public AInitialisationMachineClause(PSubstitution _substitutions_)
public void apply(Switch sw)
public PSubstitution getSubstitutions()
public void setSubstitutions(PSubstitution node)
public java.lang.String toString()
toString in class java.lang.Object