SetInvariant

final class SetInvariant(name: String, typeRef: TypeRef, val valueTypeRef: TypeRef, val values: Set[TypeInvariant]) extends TypeInvariant
Value parameters:
valueTypeRef

the elements type

Companion:
object
class Object
trait Matchable
class Any

Value members

Concrete methods

override def equals(that: Any): Boolean
Definition Classes
TypeMember -> Any
override def hashCode: Int
Definition Classes
TypeMember -> Any
override def toString: String
Definition Classes
TypeMember -> Any

Concrete fields