All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----absyn.Absyn | +----absyn.State | +----absyn.Basic_State | +----absyn.Ref_State
public String filename
public Syntax_Type filetype
public Ref_State(Statename n, String fn, Syntax_Type t)Ref_State
public Ref_State(Statename n, CRectangle r, String fn, Syntax_Type t)Ref_State
public Ref_State(Statename n, CRectangle r, Location l, String fn, Syntax_Type t)
public Object clone() throws CloneNotSupportedException
All Packages Class Hierarchy This Package Previous Next Index