Package openGql.grammar

Class GeneralQuantifier.Builder

java.lang.Object

openGql.grammar.GeneralQuantifier.Builder

Enclosing class:

GeneralQuantifier

public static final class GeneralQuantifier.Builder
extends java.lang.Object

A fluent builder for GeneralQuantifier.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
GeneralQuantifier	build()	Builds an immutable GeneralQuantifier.
GeneralQuantifier.Builder	lowerBound(Optional<UnsignedInteger> lowerBound)
GeneralQuantifier.Builder	upperBound(Optional<UnsignedInteger> upperBound)

Methods inherited from class java.lang.Object

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

Constructor Detail

Builder

public Builder()

Method Detail

lowerBound

public GeneralQuantifier.Builder lowerBound(Optional<UnsignedInteger> lowerBound)

upperBound

public GeneralQuantifier.Builder upperBound(Optional<UnsignedInteger> upperBound)

build

public GeneralQuantifier build()

Builds an immutable GeneralQuantifier.