escjava
Class AnnotationHandler.NullableExpr

java.lang.Object
  javafe.ast.ASTNode
      javafe.ast.VarInit
          javafe.ast.Expr
              javafe.ast.BinaryExpr
                  escjava.AnnotationHandler.NullableExpr

All Implemented Interfaces:

java.lang.Cloneable

Enclosing class:

AnnotationHandler

public static class AnnotationHandler.NullableExpr

extends BinaryExpr

Todo:

kiniry Write this class.

Field Summary

Fields inherited from class javafe.ast.BinaryExpr

left, locOp, op, right

Fields inherited from class javafe.ast.ASTNode

bogusField, dotCounter, dotId

Constructor Summary

protected

AnnotationHandler.NullableExpr(int op, Expr left, Expr right, int locOp)

Method Summary

(package private) static AnnotationHandler.NullableExpr

make(FormalParaDecl arg, int locNN)

Methods inherited from class javafe.ast.BinaryExpr

accept, accept, check, childAt, childCount, getEndLoc, getStartLoc, getTag, make, toString

Methods inherited from class javafe.ast.ASTNode

clone, clone, getDecorations, isInternal, setDecorations

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnotationHandler.NullableExpr

protected AnnotationHandler.NullableExpr(int op,
                                         Expr left,
                                         Expr right,
                                         int locOp)

Method Detail

make

static AnnotationHandler.NullableExpr make(FormalParaDecl arg,
                                           int locNN)