Class GroupBuilder
Builder to compose a group element.
public class GroupBuilder : RuleElementBuilder
- Inheritance
-
GroupBuilder
- Inherited Members
Constructors
GroupBuilder()
Initializes a new instance of the GroupBuilder.
public GroupBuilder()
Methods
Exists()
Creates a builder for an existential element as part of the current group element.
public ExistsBuilder Exists()
Returns
- ExistsBuilder
Existential builder.
Exists(ExistsBuilder)
Adds an existential element builder to the group element.
public void Exists(ExistsBuilder builder)
Parameters
builder
ExistsBuilderElement builder to add.
Exists(ExistsElement)
Adds an existential element to the group element.
public void Exists(ExistsElement element)
Parameters
element
ExistsElementElement to add.
ForAll()
Creates a builder for a forall element as part of the current group element.
public ForAllBuilder ForAll()
Returns
- ForAllBuilder
Forall builder.
ForAll(ForAllBuilder)
Adds a forall element builder to the group element.
public void ForAll(ForAllBuilder builder)
Parameters
builder
ForAllBuilderElement builder to add.
ForAll(ForAllElement)
Adds a forall element to the group element.
public void ForAll(ForAllElement element)
Parameters
element
ForAllElementElement to add.
Group(GroupBuilder)
Adds a nested group builder to this group element.
public void Group(GroupBuilder builder)
Parameters
builder
GroupBuilderElement builder to add.
Group(GroupType)
Creates a group builder that builds a group as part of the current group element.
public GroupBuilder Group(GroupType groupType)
Parameters
groupType
GroupTypeGroup type.
Returns
- GroupBuilder
Group builder.
Group(GroupElement)
Adds a nested group to this group element.
public void Group(GroupElement element)
Parameters
element
GroupElementElement to add.
GroupType(GroupType)
Sets type of the group element.
public void GroupType(GroupType groupType)
Parameters
groupType
GroupTypeGroup type to set.
Not()
Creates a builder for a negative existential element as part of the current group element.
public NotBuilder Not()
Returns
- NotBuilder
Negative existential builder.
Not(NotBuilder)
Adds a negative existential element builder to the group element.
public void Not(NotBuilder builder)
Parameters
builder
NotBuilderElement builder to add.
Not(NotElement)
Adds a negative existential element to the group element.
public void Not(NotElement element)
Parameters
element
NotElementElement to add.
Pattern(PatternBuilder)
Adds a pattern builder to the group element.
public void Pattern(PatternBuilder builder)
Parameters
builder
PatternBuilderElement builder to add.
Pattern(Declaration)
Creates a pattern builder that builds a pattern as part of the current group element.
public PatternBuilder Pattern(Declaration declaration)
Parameters
declaration
DeclarationPattern declaration.
Returns
- PatternBuilder
Pattern builder.
Pattern(PatternElement)
Adds a pattern to the group element.
public void Pattern(PatternElement element)
Parameters
element
PatternElementElement to add.
Pattern(Type, string)
Creates a pattern builder that builds a pattern as part of the current group element.
public PatternBuilder Pattern(Type type, string name = null)
Parameters
Returns
- PatternBuilder
Pattern builder.