Class ForAllBuilder
Builder to compose a forall element (universal quantifier).
public class ForAllBuilder : RuleElementBuilder
- Inheritance
-
ForAllBuilder
- Inherited Members
Constructors
ForAllBuilder()
Initializes a new instance of the ForAllBuilder.
public ForAllBuilder()
Methods
BasePattern(PatternBuilder)
Sets the base pattern builder of the forall element.
public void BasePattern(PatternBuilder builder)
Parameters
builder
PatternBuilderElement builder to set as the base pattern.
BasePattern(PatternElement)
Sets the base pattern of the forall element.
public void BasePattern(PatternElement element)
Parameters
element
PatternElementElement to set as the base pattern.
BasePattern(Type)
Creates a pattern builder that builds the base pattern of the forall element.
public PatternBuilder BasePattern(Type type)
Parameters
type
TypeType of the element the pattern matches.
Returns
- PatternBuilder
Pattern builder.
Pattern(PatternBuilder)
Adds a pattern builder to the forall element.
public void Pattern(PatternBuilder builder)
Parameters
builder
PatternBuilderElement builder to add.
Pattern(PatternElement)
Adds a pattern to the forall element.
public void Pattern(PatternElement element)
Parameters
element
PatternElementElement to add.
Pattern(Type)
Creates a pattern builder that builds a pattern of the forall element.
public PatternBuilder Pattern(Type type)
Parameters
type
TypeType of the element the pattern matches.
Returns
- PatternBuilder
Pattern builder.