|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Done
A representation of the model object 'Done'.
The following features are supported:
KlpPackage.getDone()
Method Summary | |
---|---|
Label |
getPc()
Returns the value of the 'Pc' reference. |
void |
setPc(Label value)
Sets the value of the ' Pc ' reference. |
Methods inherited from interface de.cau.cs.kieler.krep.editors.klp.klp.Instruction |
---|
getOpcode0, getOpcode1, getOpcode2, getOpcode3, setOpcode0, setOpcode1, setOpcode2, setOpcode3 |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Method Detail |
---|
Label getPc()
If the meaning of the 'Pc' attribute isn't clear, there really should be more of a description here...
setPc(Label)
,
KlpPackage.getDone_Pc()
void setPc(Label value)
Pc
' reference.
value
- the new value of the 'Pc' reference.getPc()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |