Package | Description |
---|---|
org.cornutum.tcases | |
org.cornutum.tcases.conditions | |
org.cornutum.tcases.io |
Modifier and Type | Method and Description |
---|---|
ICondition |
VarBindingDef.getCondition()
Returns the condition that defines when this binding is applicable.
|
ICondition |
IVarDef.getCondition()
Returns the condition that defines when values for this variable are applicable.
|
ICondition |
IConditional.getCondition()
Returns the condition that defines when this element is applicable.
|
ICondition |
Conditional.getCondition()
Returns the condition that defines when this element is applicable.
|
ICondition |
VarBindingDef.getEffectiveCondition()
Returns the effective condition that defines when this binding is applicable.
|
ICondition |
IVarDef.getEffectiveCondition()
Returns the effective condition that defines when this variable is applicable,
based on the conditions for this variable and all of its ancestors.
|
ICondition |
AbstractVarDef.getEffectiveCondition()
Returns the effective condition that defines when this variable is applicable,
based on the conditions for this variable and all of its ancestors.
|
ICondition |
Conditional.getEffectiveCondition(ICondition contextCondition)
Returns the effective condition that defines when this element is applicable,
given the specified context condition.
|
Modifier and Type | Method and Description |
---|---|
ICondition |
Conditional.getEffectiveCondition(ICondition contextCondition)
Returns the effective condition that defines when this element is applicable,
given the specified context condition.
|
void |
VarSet.setCondition(ICondition condition)
Changes the condition that defines when this element is applicable.
|
void |
Conditional.setCondition(ICondition condition)
Changes the condition that defines when this element is applicable.
|
void |
AbstractVarDef.setCondition(ICondition condition)
Changes the condition that defines when this element is applicable.
|
VarValueDefBuilder |
VarValueDefBuilder.when(ICondition condition)
Changes the value condition.
|
VarSetBuilder |
VarSetBuilder.when(ICondition condition)
Changes the variable set condition.
|
VarDefBuilder |
VarDefBuilder.when(ICondition condition)
Changes the variable condition.
|
Modifier and Type | Method and Description |
---|---|
VarValueDefBuilder |
VarValueDefBuilder.when(Optional<ICondition> condition)
Changes the value condition.
|
VarSetBuilder |
VarSetBuilder.when(Optional<ICondition> condition)
Changes the variable set condition.
|
VarDefBuilder |
VarDefBuilder.when(Optional<ICondition> condition)
Changes the variable condition.
|
Modifier and Type | Interface and Description |
---|---|
interface |
IAssertion
A
condition that asserts a condition on a single property. |
interface |
IConjunct
A
condition that defined by the conjunction (logical AND) of one or
more disjunctions . |
interface |
IDisjunct
A
condition that defined by the disjunction (logical OR) of one or
more assertions . |
Modifier and Type | Class and Description |
---|---|
class |
AbstractAssertion
Base class for
assertions . |
class |
AllOf
A
condition that is satisfied if and only if all members of a given set
of conditions are satisfied. |
class |
AnyOf
A
condition that is satisfied if any member of a given set
of conditions is satisfied. |
class |
Assert
An
assertion that asserts the existence of a single property. |
class |
AssertLess
An
assertion that the number of instances of a property is less than a specified maximum. |
class |
AssertMore
An
assertion that the number of instances of a property exceeds a specified minimum. |
class |
AssertNot
An
assertion that asserts the non-existence of a single property. |
class |
AssertNotLess
An
assertion that the number of instances of a property is not less than a specified minimum. |
class |
AssertNotMore
An
assertion that the number of instances of a property does not exceed a specified maximum. |
class |
Between
A
condition that is satisfied if and only both its minimum and maximum
conditions are satisified. |
class |
BoundedAssertion
Base class for
assertions of a limit on the number of instances of a property |
class |
ConditionSet
Defines a set of
conditions . |
class |
Conjunction
A
condition in conjunctive normal form. |
class |
ContainsAll
A
condition that is satisfied by a PropertySet that contains
all members of a set of properties. |
class |
ContainsAny
A
condition that is satisfied by a PropertySet that contains
any member of a set of properties. |
class |
Disjunction
A
condition that defined by the disjunction (logical OR) of one or
more assertions . |
class |
Equals
A
condition that is satisfied if and only number of instances of a property equals a specified minimum. |
class |
Not
A
condition that is satisfied if and only if all members of a given set
of conditions are not satisfied. |
Modifier and Type | Field and Description |
---|---|
static ICondition |
ICondition.ALWAYS
A
condition that is always satisfied by any PropertySet . |
Modifier and Type | Field and Description |
---|---|
protected Set<ICondition> |
ConditionSet.conditions_ |
Modifier and Type | Method and Description |
---|---|
Iterator<ICondition> |
ConditionSet.getConditions()
Returns the conditions in this set.
|
Modifier and Type | Method and Description |
---|---|
ConditionSet |
ConditionSet.add(ICondition condition)
Adds a condition to this set.
|
ConditionSet |
Between.add(ICondition condition)
Adds a condition to this set.
|
static AllOf |
Conditions.allOf(ICondition... conditions)
Returns a
condition that is satisfied if and only if all of
the given conditions are satisfied. |
static AnyOf |
Conditions.anyOf(ICondition... conditions)
Returns a
condition that is satisfied if and only if any of
the given conditions are satisfied. |
static IConjunct |
Cnf.convert(ICondition condition)
Converts the given condition into conjunctive normal form.
|
IConjunct |
Cnf.Converter.convert(ICondition condition)
Converts the given condition into conjunctive normal form.
|
static Not |
Conditions.not(ICondition... conditions)
Returns a
condition that is satisfied if and only if none of
the given conditions are satisfied. |
static Stream<String> |
Conditions.propertiesReferenced(ICondition condition)
Returns the properties referenced by the given condition.
|
ConditionSet |
ConditionSet.remove(ICondition condition)
Removes a condition from this set.
|
ConditionSet |
Between.remove(ICondition condition)
Removes a condition from this set.
|
Constructor and Description |
---|
AllOf(ICondition... conditions)
Creates a new AllOf instance.
|
AnyOf(ICondition... conditions)
Creates a new AnyOf instance.
|
ConditionSet(ICondition... conditions)
Creates a new ConditionSet instance.
|
Not(ICondition... conditions)
Creates a new Not instance.
|
Modifier and Type | Method and Description |
---|---|
ICondition |
SystemInputDocReader.CardinalityHandler.getCondition()
Returns the condition represented by this element.
|
Modifier and Type | Method and Description |
---|---|
abstract void |
SystemInputDocReader.ConditionContainer.addCondition(ICondition condition)
Adds the
ICondition to this container. |
void |
SystemInputDocReader.WhenHandler.addCondition(ICondition condition)
Adds the
ICondition to this container. |
void |
SystemInputDocReader.ConditionSetHandler.addCondition(ICondition condition)
Adds the
ICondition to this container. |
protected void |
SystemInputDocReader.CardinalityHandler.setCondition(ICondition condition)
Changes the condition represented by this element.
|
Copyright © 2024 The Cornutum Project. All rights reserved.