Package org.intocps.maestro.framework.fmi2.api.mabl

Class PredicateFmi2Api

java.lang.Object

org.intocps.maestro.framework.fmi2.api.mabl.PredicateFmi2Api

All Implemented Interfaces:

org.intocps.maestro.framework.fmi2.api.Fmi2Builder.Predicate, org.intocps.maestro.framework.fmi2.api.Fmi2Builder.ProvidesTypedReferenceExp

Direct Known Subclasses:

BooleanExpressionValue

public class PredicateFmi2Api
extends java.lang.Object
implements org.intocps.maestro.framework.fmi2.api.Fmi2Builder.Predicate, org.intocps.maestro.framework.fmi2.api.Fmi2Builder.ProvidesTypedReferenceExp

Constructor Summary

Constructors

Constructor	Description
PredicateFmi2Api(org.intocps.maestro.ast.node.PExp exp)

Method Summary

Modifier and Type	Method	Description
PredicateFmi2Api	and(org.intocps.maestro.ast.node.PExp pexp)
PredicateFmi2Api	and(org.intocps.maestro.framework.fmi2.api.Fmi2Builder.Predicate p)
PredicateFmi2Api	and(PredicateFmi2Api p)
PredicateFmi2Api	and(BooleanVariableFmi2Api booleanVariable)
org.intocps.maestro.ast.node.PExp	getExp()
org.intocps.maestro.ast.node.PType	getType()
PredicateFmi2Api	not()
PredicateFmi2Api	or(org.intocps.maestro.framework.fmi2.api.Fmi2Builder.Predicate p)
PredicateFmi2Api	or(PredicateFmi2Api p)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PredicateFmi2Api

public PredicateFmi2Api(org.intocps.maestro.ast.node.PExp exp)

Method Detail

and

public PredicateFmi2Api and(PredicateFmi2Api p)

or

public PredicateFmi2Api or(PredicateFmi2Api p)

and

public PredicateFmi2Api and(org.intocps.maestro.framework.fmi2.api.Fmi2Builder.Predicate p)

Specified by:

and in interface org.intocps.maestro.framework.fmi2.api.Fmi2Builder.Predicate

or

public PredicateFmi2Api or(org.intocps.maestro.framework.fmi2.api.Fmi2Builder.Predicate p)

Specified by:

or in interface org.intocps.maestro.framework.fmi2.api.Fmi2Builder.Predicate

not

public PredicateFmi2Api not()

Specified by:

not in interface org.intocps.maestro.framework.fmi2.api.Fmi2Builder.Predicate

getType

public org.intocps.maestro.ast.node.PType getType()

Specified by:

getType in interface org.intocps.maestro.framework.fmi2.api.Fmi2Builder.ProvidesTypedReferenceExp

getExp

public org.intocps.maestro.ast.node.PExp getExp()

Specified by:

getExp in interface org.intocps.maestro.framework.fmi2.api.Fmi2Builder.ProvidesTypedReferenceExp

and

public PredicateFmi2Api and(org.intocps.maestro.ast.node.PExp pexp)

and

public PredicateFmi2Api and(BooleanVariableFmi2Api booleanVariable)