hobbes::HasField Struct Reference

#include <hasfield.H>

Collaboration diagram for hobbes::HasField:

Public Types
enum	Direction { Read, Write }

Static Public Member Functions
static Constraint *	newConstraint (Direction, const MonoTypePtr &, const MonoTypePtr &, const MonoTypePtr &, const ExprPtr &)
static Constraint *	newConstraint (Direction, const MonoTypePtr &, const MonoTypePtr &, const MonoTypePtr &)
static ConstraintPtr	constraint (Direction, const MonoTypePtr &, const MonoTypePtr &, const MonoTypePtr &, const ExprPtr &)
static ConstraintPtr	constraint (Direction, const MonoTypePtr &, const MonoTypePtr &, const MonoTypePtr &)

Public Attributes
Direction	direction
MonoTypePtr	recordType
ExprPtr	recordExpr
MonoTypePtr	fieldName
MonoTypePtr	fieldType

Member Enumeration Documentation

Direction

enum hobbes::HasField::Direction

Enumerator
Read
Write

Member Function Documentation

constraint() [1/2]

ConstraintPtr hobbes::HasField::constraint ( Direction  d, const MonoTypePtr &  t0, const MonoTypePtr &  t1, const MonoTypePtr &  t2, const ExprPtr &  e  )

static

constraint() [2/2]

ConstraintPtr hobbes::HasField::constraint ( Direction  d, const MonoTypePtr &  t0, const MonoTypePtr &  t1, const MonoTypePtr &  t2  )

static

newConstraint() [1/2]

Constraint * hobbes::HasField::newConstraint ( Direction  d, const MonoTypePtr &  t0, const MonoTypePtr &  t1, const MonoTypePtr &  t2, const ExprPtr &  e  )

static

newConstraint() [2/2]

Constraint * hobbes::HasField::newConstraint ( Direction  d, const MonoTypePtr &  t0, const MonoTypePtr &  t1, const MonoTypePtr &  t2  )

static

Member Data Documentation

direction

Direction hobbes::HasField::direction

fieldName

MonoTypePtr hobbes::HasField::fieldName

fieldType

MonoTypePtr hobbes::HasField::fieldType

recordExpr

ExprPtr hobbes::HasField::recordExpr

recordType

MonoTypePtr hobbes::HasField::recordType

---

The documentation for this struct was generated from the following files:

• include/hobbes/lang/preds/hasfield.H
• lib/hobbes/lang/preds/hasfield.C