public final class ARefinementMachineParseUnit extends PParseUnit
Constructor and Description |
---|
ARefinementMachineParseUnit() |
ARefinementMachineParseUnit(PMachineHeader _header_,
TIdentifierLiteral _refMachine_,
java.util.List<PMachineClause> _machineClauses_) |
Modifier and Type | Method and Description |
---|---|
void |
apply(Switch sw) |
java.lang.Object |
clone() |
PMachineHeader |
getHeader() |
java.util.LinkedList<PMachineClause> |
getMachineClauses() |
TIdentifierLiteral |
getRefMachine() |
void |
setHeader(PMachineHeader node) |
void |
setMachineClauses(java.util.List<PMachineClause> list) |
void |
setRefMachine(TIdentifierLiteral node) |
java.lang.String |
toString() |
cloneList, cloneNode, parent, replaceBy, toString, toString
getEndPos, getStartPos, setEndPos, setStartPos
public ARefinementMachineParseUnit()
public ARefinementMachineParseUnit(PMachineHeader _header_, TIdentifierLiteral _refMachine_, java.util.List<PMachineClause> _machineClauses_)
public void apply(Switch sw)
public PMachineHeader getHeader()
public void setHeader(PMachineHeader node)
public TIdentifierLiteral getRefMachine()
public void setRefMachine(TIdentifierLiteral node)
public java.util.LinkedList<PMachineClause> getMachineClauses()
public void setMachineClauses(java.util.List<PMachineClause> list)
public java.lang.String toString()
toString
in class java.lang.Object