jltools.ext.jif.ast
Class CanonicalConstraintNode_c

java.lang.Object
  |
  +--jltools.ext.jl.ast.Node_c
        |
        +--jltools.ext.jif.ast.ConstraintNode_c
              |
              +--jltools.ext.jif.ast.CanonicalConstraintNode_c

All Implemented Interfaces:

CanonicalConstraintNode, java.lang.Cloneable, ConstraintNode, Copy, Node, java.io.Serializable

public class CanonicalConstraintNode_c

extends ConstraintNode_c

implements CanonicalConstraintNode

An implementation of the CanonicalConstraint.

See Also:

Serialized Form

Inner classes inherited from class jltools.ext.jl.ast.Node_c

Node_c.StringCodeWriter

Fields inherited from class jltools.ext.jif.ast.ConstraintNode_c

constraint

Fields inherited from class jltools.ext.jl.ast.Node_c

ext, position

Constructor Summary

CanonicalConstraintNode_c(Ext ext, Position pos, Constraint constraint)

Methods inherited from class jltools.ext.jif.ast.ConstraintNode_c

constraint, constraint, toString

Methods inherited from class jltools.ext.jl.ast.Node_c

buildTypes_, buildTypes, buildTypesOverride_, buildTypesOverride, copy, disambiguate_, disambiguate, disambiguateOverride_, disambiguateOverride, disambiguateTypes_, disambiguateTypes, disambiguateTypesOverride_, disambiguateTypesOverride, dump, enterScope, exceptionCheck_, exceptionCheck, exceptionCheckOverride_, exceptionCheckOverride, ext, ext, foldConstants_, foldConstants, foldConstantsOverride_, foldConstantsOverride, leaveScope, position, position, reconstructTypes_, reconstructTypes, translate_, translate, translateBlock, translateSubstmt, typeCheck_, typeCheck, typeCheckOverride_, typeCheckOverride, visit, visitChildren, visitList

Methods inherited from class java.lang.Object

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

Methods inherited from interface jltools.ext.jif.ast.CanonicalConstraintNode

constraint

Methods inherited from interface jltools.ext.jif.ast.ConstraintNode

constraint

Methods inherited from interface jltools.ast.Node

buildTypes_, buildTypesOverride_, copy, disambiguate_, disambiguateOverride_, disambiguateTypes_, disambiguateTypesOverride_, dump, enterScope, exceptionCheck_, exceptionCheckOverride_, ext, ext, foldConstants_, foldConstantsOverride_, leaveScope, position, position, reconstructTypes_, translate_, typeCheck_, typeCheckOverride_, visit, visitChildren

Constructor Detail

CanonicalConstraintNode_c

public CanonicalConstraintNode_c(Ext ext,
                                 Position pos,
                                 Constraint constraint)