Uses of Class
eu.simuline.relana.expressions.FormulaDecl

Packages that use FormulaDecl

Package	Description
eu.simuline.relana.expressions	Classes to describe expressions.
eu.simuline.relana.model	Description for object oriented models in terms of java classes.
eu.simuline.relana.parser	Classes to parse all file types except xml: CClassParser parse *.ccl files representing Component Classes, SClassParser parse *.scl files representing Service Classes and finally FormulaParser parse formulae.

Uses of FormulaDecl in eu.simuline.relana.expressions

Subclasses of FormulaDecl in eu.simuline.relana.expressions

Modifier and Type	Class	Description
(package private) static class	FormulaDecl.Comp	Represents composite formulae consisting of a operation FormulaDecl.Comp.oper and a set of arguments FormulaDecl.Comp.args.
(package private) static class	FormulaDecl.Const	Represents atomic formulae consisting of a constant only.
(package private) static class	FormulaDecl.Var	Represents atomic formulae consisting of a variable only.

Fields in eu.simuline.relana.expressions with type parameters of type FormulaDecl

Modifier and Type	Field	Description
private Set<FormulaDecl>	FormulaDecl.Comp.args

Methods in eu.simuline.relana.expressions that return FormulaDecl

Modifier and Type	Method	Description
static FormulaDecl	FormulaDecl.getComp(Operation oper, Set<FormulaDecl> args)
static FormulaDecl	FormulaDecl.getConst(Type type, Set<Deficiency> val)
static FormulaDecl	FormulaDecl.getVar(CClass.SClassDecl decl, List<String> path)

Method parameters in eu.simuline.relana.expressions with type arguments of type FormulaDecl

Modifier and Type	Method	Description
static FormulaDecl	FormulaDecl.getComp(Operation oper, Set<FormulaDecl> args)
Type	Operation.CompOp.retType(Set<FormulaDecl> args)
(package private) Type	Operation.Functor.retType(Set<FormulaDecl> args, Operation.Maps mapOper)
Type	Operation.IntsOp.retType(Set<FormulaDecl> args)
Type	Operation.Maps.retType(Set<FormulaDecl> args)
abstract Type	Operation.retType(Set<FormulaDecl> args)
Type	Operation.UnionOp.retType(Set<FormulaDecl> args)

Constructor parameters in eu.simuline.relana.expressions with type arguments of type FormulaDecl

Constructor	Description
Comp(Operation oper, Set<FormulaDecl> args)

Uses of FormulaDecl in eu.simuline.relana.model

Fields in eu.simuline.relana.model declared as FormulaDecl

Modifier and Type	Field	Description
private FormulaDecl	CClass.SClassDecl.form	An optional formula declaration; otherwise null.

Methods in eu.simuline.relana.model that return FormulaDecl

Modifier and Type	Method	Description
(package private) FormulaDecl	CClass.SClassDecl.getFormulaDecl()	Returns the formula if any; otherwise null.

Methods in eu.simuline.relana.model with parameters of type FormulaDecl

Modifier and Type	Method	Description
void	CClass.SClassDecl.setFormula(FormulaDecl form)	Sets the given formula form and checks consistency; may throw various exceptions.

Uses of FormulaDecl in eu.simuline.relana.parser

Fields in eu.simuline.relana.parser declared as FormulaDecl

Modifier and Type	Field	Description
(package private) FormulaDecl	FormulaParser.fDecl	'Returned by constFormula, varFormula and compFormula.

Fields in eu.simuline.relana.parser with type parameters of type FormulaDecl

Modifier and Type	Field	Description
(package private) Stack<Set<FormulaDecl>>	FormulaParser.argsStack	The stack of incompletely parsed levels of formulae.

Methods in eu.simuline.relana.parser that return FormulaDecl

Modifier and Type	Method	Description
(package private) FormulaDecl	FormulaParser.getFormulaStart()	Returns the all in all formula invoking rule 'formula'.