jif.extension
Class JifBinaryDel

java.lang.Object
  extended by polyglot.ast.Ext_c
      extended by polyglot.ast.JL_c
          extended by jif.extension.JifJL_c
              extended by jif.extension.JifBinaryDel
All Implemented Interfaces:
java.lang.Cloneable, polyglot.ast.Ext, polyglot.ast.JL, polyglot.ast.NodeOps, polyglot.util.Copy

public class JifBinaryDel
extends JifJL_c


Field Summary
static polyglot.ast.Binary.Operator ACTSFOR
           
static polyglot.ast.Binary.Operator EQUIV
           
 
Fields inherited from class polyglot.ast.Ext_c
ext, node
 
Constructor Summary
JifBinaryDel()
           
 
Method Summary
 polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc)
           
 
Methods inherited from class jif.extension.JifJL_c
buildTypes, translate
 
Methods inherited from class polyglot.ast.JL_c
addDecls, buildTypesEnter, checkConstants, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, jl, prettyPrint, prettyPrint, prettyPrint, throwTypes, typeCheckEnter, typeCheckOverride, visitChildren
 
Methods inherited from class polyglot.ast.Ext_c
copy, dump, ext, ext, init, node, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface polyglot.ast.JL
init, node
 
Methods inherited from interface polyglot.util.Copy
copy
 

Field Detail

ACTSFOR

public static final polyglot.ast.Binary.Operator ACTSFOR

EQUIV

public static final polyglot.ast.Binary.Operator EQUIV
Constructor Detail

JifBinaryDel

public JifBinaryDel()
Method Detail

typeCheck

public polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc)
                            throws polyglot.types.SemanticException
Specified by:
typeCheck in interface polyglot.ast.NodeOps
Overrides:
typeCheck in class polyglot.ast.JL_c
Throws:
polyglot.types.SemanticException