SetOperation class
- Implemented types
Constructors
- SetOperation({required SetOperator op, required SetQuantifier setQuantifier, required SetExprRef left, required SetExprRef right})
-
const
- SetOperation.fromJson(Object? json_)
-
Returns a new instance from a JSON value.
May throw if the value does not have the expected structure.
factory
Properties
- hashCode → int
-
The hash code for this object.
no setteroverride
- left → SetExprRef
-
final
- op → SetOperator
-
final
- right → SetExprRef
-
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- setQuantifier → SetQuantifier
-
final
Methods
-
copyWith(
{SetOperator? op, SetQuantifier? setQuantifier, SetExprRef? left, SetExprRef? right}) → SetOperation - Returns a new instance by overriding the values passed as arguments
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toJson(
) → Map< String, Object?> -
Returns a JSON representation of this.
override
-
toString(
) → String -
A string representation of this object.
override
-
toWasm(
) → List< Object?> -
Returns this as a WASM canonical abi value.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
override