Language.Clafer.IG.Constraints

Documentation

data Constraint

Constructors

ExactCardinalityConstraint

Fields

range :: Span

claferInfo :: ClaferInfo

LowerCardinalityConstraint

Fields

range :: Span

claferInfo :: ClaferInfo

UpperCardinalityConstraint

Fields

range :: Span

claferInfo :: ClaferInfo

UserConstraint

Fields

range :: Span

constraintInfo :: ConstraintInfo

Instances

Eq Constraint

Show Constraint

data Cardinality

Constructors

Cardinality

Fields

lower :: Integer

upper :: Maybe Integer

Instances

Eq Cardinality

Show Cardinality

data ClaferInfo

Constructors

ClaferInfo

Fields

uniqueId :: String

cardinality :: Cardinality

Instances

Eq ClaferInfo

Show ClaferInfo

data ConstraintInfo

Constructors

ConstraintInfo

Fields

pId :: String

pos :: Span

syntax :: String

Instances

Eq ConstraintInfo

Show ConstraintInfo

isLowerCardinalityConstraint :: Constraint -> Bool

isUpperCardinalityConstraint :: Constraint -> Bool

lookupConstraint :: Span -> [Constraint] -> Constraint

parseConstraints :: String -> IModule -> [(Span, IrTrace)] -> [Constraint]