org.erights.e.elang.syntax
Class ObjDecl

java.lang.Object
  |
  +--org.erights.e.elang.syntax.ObjDecl

class ObjDecl

extends Object

Just a bundling of state for use during parsing

Author:

Mark S. Miller

Field Summary

private EExpr[]	myAuditors
private String	myDocComment
private EExpr	myOptExtends
private Object	myOptOName

Constructor Summary

ObjDecl(String docComment, Object optOName, EExpr optExtends, EExpr[] auditors)

Method Summary

EExpr[]	getAuditors()
String	getDocComment()
EExpr	getOptExtends()
Object	getOptOName()
(package private) ObjDecl	withDoco(String docComment)

Methods inherited from class java.lang.Object

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

Field Detail

myDocComment

private final String myDocComment

myOptOName

private final Object myOptOName

myOptExtends

private final EExpr myOptExtends

myAuditors

private final EExpr[] myAuditors

Constructor Detail

ObjDecl

public ObjDecl(String docComment,
               Object optOName,
               EExpr optExtends,
               EExpr[] auditors)

Method Detail

getDocComment

public String getDocComment()

getOptOName

public Object getOptOName()

getOptExtends

public EExpr getOptExtends()

getAuditors

public EExpr[] getAuditors()

withDoco

ObjDecl withDoco(String docComment)