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
builderExistsBuilderElement builder to add.
Exists(ExistsElement)
Adds an existential element to the group element.
public void Exists(ExistsElement element)
Parameters
elementExistsElementElement 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
builderForAllBuilderElement builder to add.
ForAll(ForAllElement)
Adds a forall element to the group element.
public void ForAll(ForAllElement element)
Parameters
elementForAllElementElement to add.
Group(GroupBuilder)
Adds a nested group builder to this group element.
public void Group(GroupBuilder builder)
Parameters
builderGroupBuilderElement 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
groupTypeGroupTypeGroup type.
Returns
- GroupBuilder
Group builder.
Group(GroupElement)
Adds a nested group to this group element.
public void Group(GroupElement element)
Parameters
elementGroupElementElement to add.
GroupType(GroupType)
Sets type of the group element.
public void GroupType(GroupType groupType)
Parameters
groupTypeGroupTypeGroup 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
builderNotBuilderElement builder to add.
Not(NotElement)
Adds a negative existential element to the group element.
public void Not(NotElement element)
Parameters
elementNotElementElement to add.
Pattern(PatternBuilder)
Adds a pattern builder to the group element.
public void Pattern(PatternBuilder builder)
Parameters
builderPatternBuilderElement 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
declarationDeclarationPattern declaration.
Returns
- PatternBuilder
Pattern builder.
Pattern(PatternElement)
Adds a pattern to the group element.
public void Pattern(PatternElement element)
Parameters
elementPatternElementElement 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.