|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use UtyExpr | |
---|---|
de.cau.cs.kieler.quartz.editor.quartz | |
de.cau.cs.kieler.quartz.editor.quartz.impl | |
de.cau.cs.kieler.quartz.editor.quartz.util |
Uses of UtyExpr in de.cau.cs.kieler.quartz.editor.quartz |
---|
Subinterfaces of UtyExpr in de.cau.cs.kieler.quartz.editor.quartz | |
---|---|
interface |
FixpointEqList
A representation of the model object 'Fixpoint Eq List'. |
interface |
Generic
A representation of the model object 'Generic'. |
interface |
Name
A representation of the model object 'Name'. |
interface |
QName
A representation of the model object 'QName'. |
Methods in de.cau.cs.kieler.quartz.editor.quartz that return UtyExpr | |
---|---|
UtyExpr |
QuartzFactory.createUtyExpr()
Returns a new object of class 'Uty Expr'. |
UtyExpr |
MacroDef.getExpr()
Returns the value of the 'Expr' containment reference. |
UtyExpr |
FixpointEqList.getExpr2()
Returns the value of the 'Expr2' containment reference. |
UtyExpr |
UtyExpr.getT2()
Returns the value of the 'T2' containment reference. |
UtyExpr |
UtyExpr.getT4()
Returns the value of the 'T4' containment reference. |
UtyExpr |
QName.getT5()
Returns the value of the 'T5' containment reference. |
UtyExpr |
QName.getT6()
Returns the value of the 'T6' containment reference. |
UtyExpr |
UtyExpr.getT7()
Returns the value of the 'T7' containment reference. |
UtyExpr |
QType.getTa()
Returns the value of the 'Ta' containment reference. |
UtyExpr |
QType.getTb()
Returns the value of the 'Tb' containment reference. |
UtyExpr |
QType.getTc()
Returns the value of the 'Tc' containment reference. |
UtyExpr |
OptUtyExpr.getTk()
Returns the value of the 'Tk' containment reference. |
UtyExpr |
UtyExprSelectList.getTk()
Returns the value of the 'Tk' containment reference. |
Methods in de.cau.cs.kieler.quartz.editor.quartz that return types with arguments of type UtyExpr | |
---|---|
EList<UtyExpr> |
DimList.getExpr()
Returns the value of the 'Expr' containment reference list. |
EList<UtyExpr> |
ProofGoalList.getExpr()
Returns the value of the 'Expr' containment reference list. |
Methods in de.cau.cs.kieler.quartz.editor.quartz with parameters of type UtyExpr | |
---|---|
void |
MacroDef.setExpr(UtyExpr value)
Sets the value of the ' Expr ' containment reference. |
void |
FixpointEqList.setExpr2(UtyExpr value)
Sets the value of the ' Expr2 ' containment reference. |
void |
UtyExpr.setT2(UtyExpr value)
Sets the value of the ' T2 ' containment reference. |
void |
UtyExpr.setT4(UtyExpr value)
Sets the value of the ' T4 ' containment reference. |
void |
QName.setT5(UtyExpr value)
Sets the value of the ' T5 ' containment reference. |
void |
QName.setT6(UtyExpr value)
Sets the value of the ' T6 ' containment reference. |
void |
UtyExpr.setT7(UtyExpr value)
Sets the value of the ' T7 ' containment reference. |
void |
QType.setTa(UtyExpr value)
Sets the value of the ' Ta ' containment reference. |
void |
QType.setTb(UtyExpr value)
Sets the value of the ' Tb ' containment reference. |
void |
QType.setTc(UtyExpr value)
Sets the value of the ' Tc ' containment reference. |
void |
OptUtyExpr.setTk(UtyExpr value)
Sets the value of the ' Tk ' containment reference. |
void |
UtyExprSelectList.setTk(UtyExpr value)
Sets the value of the ' Tk ' containment reference. |
Uses of UtyExpr in de.cau.cs.kieler.quartz.editor.quartz.impl |
---|
Classes in de.cau.cs.kieler.quartz.editor.quartz.impl that implement UtyExpr | |
---|---|
class |
FixpointEqListImpl
An implementation of the model object 'Fixpoint Eq List'. |
class |
GenericImpl
An implementation of the model object 'Generic'. |
class |
NameImpl
An implementation of the model object 'Name'. |
class |
QNameImpl
An implementation of the model object 'QName'. |
class |
UtyExprImpl
An implementation of the model object 'Uty Expr'. |
Fields in de.cau.cs.kieler.quartz.editor.quartz.impl declared as UtyExpr | |
---|---|
protected UtyExpr |
MacroDefImpl.expr
The cached value of the ' Expr ' containment reference. |
protected UtyExpr |
FixpointEqListImpl.expr2
The cached value of the ' Expr2 ' containment reference. |
protected UtyExpr |
QNameImpl.t2
The cached value of the ' T2 ' containment reference. |
protected UtyExpr |
UtyExprImpl.t2
The cached value of the ' T2 ' containment reference. |
protected UtyExpr |
QNameImpl.t4
The cached value of the ' T4 ' containment reference. |
protected UtyExpr |
UtyExprImpl.t4
The cached value of the ' T4 ' containment reference. |
protected UtyExpr |
QNameImpl.t5
The cached value of the ' T5 ' containment reference. |
protected UtyExpr |
QNameImpl.t6
The cached value of the ' T6 ' containment reference. |
protected UtyExpr |
QNameImpl.t7
The cached value of the ' T7 ' containment reference. |
protected UtyExpr |
UtyExprImpl.t7
The cached value of the ' T7 ' containment reference. |
protected UtyExpr |
QTypeImpl.ta
The cached value of the ' Ta ' containment reference. |
protected UtyExpr |
QTypeImpl.tb
The cached value of the ' Tb ' containment reference. |
protected UtyExpr |
QTypeImpl.tc
The cached value of the ' Tc ' containment reference. |
protected UtyExpr |
OptUtyExprImpl.tk
The cached value of the ' Tk ' containment reference. |
protected UtyExpr |
UtyExprSelectListImpl.tk
The cached value of the ' Tk ' containment reference. |
Fields in de.cau.cs.kieler.quartz.editor.quartz.impl with type parameters of type UtyExpr | |
---|---|
protected EList<UtyExpr> |
DimListImpl.expr
The cached value of the ' Expr ' containment reference list. |
protected EList<UtyExpr> |
ProofGoalListImpl.expr
The cached value of the ' Expr ' containment reference list. |
Methods in de.cau.cs.kieler.quartz.editor.quartz.impl that return UtyExpr | |
---|---|
UtyExpr |
QuartzFactoryImpl.createUtyExpr()
|
UtyExpr |
MacroDefImpl.getExpr()
|
UtyExpr |
FixpointEqListImpl.getExpr2()
|
UtyExpr |
QNameImpl.getT2()
|
UtyExpr |
UtyExprImpl.getT2()
|
UtyExpr |
QNameImpl.getT4()
|
UtyExpr |
UtyExprImpl.getT4()
|
UtyExpr |
QNameImpl.getT5()
|
UtyExpr |
QNameImpl.getT6()
|
UtyExpr |
QNameImpl.getT7()
|
UtyExpr |
UtyExprImpl.getT7()
|
UtyExpr |
QTypeImpl.getTa()
|
UtyExpr |
QTypeImpl.getTb()
|
UtyExpr |
QTypeImpl.getTc()
|
UtyExpr |
OptUtyExprImpl.getTk()
|
UtyExpr |
UtyExprSelectListImpl.getTk()
|
Methods in de.cau.cs.kieler.quartz.editor.quartz.impl that return types with arguments of type UtyExpr | |
---|---|
EList<UtyExpr> |
DimListImpl.getExpr()
|
EList<UtyExpr> |
ProofGoalListImpl.getExpr()
|
Uses of UtyExpr in de.cau.cs.kieler.quartz.editor.quartz.util |
---|
Methods in de.cau.cs.kieler.quartz.editor.quartz.util with parameters of type UtyExpr | |
---|---|
T |
QuartzSwitch.caseUtyExpr(UtyExpr object)
Returns the result of interpreting the object as an instance of 'Uty Expr'. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |