de.cau.cs.kieler.quartz.editor.quartz
Interface AtomicStmt

All Superinterfaces:
EObject, Notifier
All Known Subinterfaces:
case_list, dUtyExpr, FixpointEqList, Generic, LocStmt, Name, NamedStmt, QName, UtyAction, UtyExpr
All Known Implementing Classes:
AtomicStmtImpl, case_listImpl, dUtyExprImpl, FixpointEqListImpl, GenericImpl, LocStmtImpl, NamedStmtImpl, NameImpl, QNameImpl, UtyActionImpl, UtyExprImpl

public interface AtomicStmt
extends EObject

A representation of the model object 'Atomic Stmt'.

The following features are supported:

See Also:
QuartzPackage.getAtomicStmt()
Rating red
Generated:
This code was automatically generated.
Model element

Method Summary
 dUtyExprs getExpr()
          Returns the value of the 'Expr' containment reference.
 AtomicStmt getT03()
          Returns the value of the 'T03' containment reference.
 dUtyExprs getT06()
          Returns the value of the 'T06' containment reference.
 AtomicStmt getT16()
          Returns the value of the 'T16' containment reference.
 void setExpr(dUtyExprs value)
          Sets the value of the 'Expr' containment reference.
 void setT03(AtomicStmt value)
          Sets the value of the 'T03' containment reference.
 void setT06(dUtyExprs value)
          Sets the value of the 'T06' containment reference.
 void setT16(AtomicStmt value)
          Sets the value of the 'T16' containment reference.
 
Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset
 
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
 

Method Detail

getExpr

dUtyExprs getExpr()
Returns the value of the 'Expr' containment reference.

If the meaning of the 'Expr' containment reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Expr' containment reference.
See Also:
setExpr(dUtyExprs), QuartzPackage.getAtomicStmt_Expr()
Generated:
This code was automatically generated.
Model element:
containment=true

setExpr

void setExpr(dUtyExprs value)
Sets the value of the 'Expr' containment reference.

Parameters:
value - the new value of the 'Expr' containment reference.
See Also:
getExpr()
Generated:
This code was automatically generated.

getT03

AtomicStmt getT03()
Returns the value of the 'T03' containment reference.

If the meaning of the 'T03' containment reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'T03' containment reference.
See Also:
setT03(AtomicStmt), QuartzPackage.getAtomicStmt_T03()
Generated:
This code was automatically generated.
Model element:
containment=true

setT03

void setT03(AtomicStmt value)
Sets the value of the 'T03' containment reference.

Parameters:
value - the new value of the 'T03' containment reference.
See Also:
getT03()
Generated:
This code was automatically generated.

getT16

AtomicStmt getT16()
Returns the value of the 'T16' containment reference.

If the meaning of the 'T16' containment reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'T16' containment reference.
See Also:
setT16(AtomicStmt), QuartzPackage.getAtomicStmt_T16()
Generated:
This code was automatically generated.
Model element:
containment=true

setT16

void setT16(AtomicStmt value)
Sets the value of the 'T16' containment reference.

Parameters:
value - the new value of the 'T16' containment reference.
See Also:
getT16()
Generated:
This code was automatically generated.

getT06

dUtyExprs getT06()
Returns the value of the 'T06' containment reference.

If the meaning of the 'T06' containment reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'T06' containment reference.
See Also:
setT06(dUtyExprs), QuartzPackage.getAtomicStmt_T06()
Generated:
This code was automatically generated.
Model element:
containment=true

setT06

void setT06(dUtyExprs value)
Sets the value of the 'T06' containment reference.

Parameters:
value - the new value of the 'T06' containment reference.
See Also:
getT06()
Generated:
This code was automatically generated.