| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorc.ast.extended.declaration.defn.AggregateDefn
public class AggregateDefn
| Field Summary | |
|---|---|
| protected  java.util.List<Clause> | clauses | 
| protected  ArrowType | type | 
| protected  Var | var | 
| Constructor Summary | |
|---|---|
| AggregateDefn() | |
| Method Summary | |
|---|---|
|  void | addClause(Clause c) | 
|  Var | getVar() | 
|  void | setType(ArrowType t) | 
|  Definition | simplify() | 
| Methods inherited from class java.lang.Object | 
|---|
| clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
| Field Detail | 
|---|
protected java.util.List<Clause> clauses
protected ArrowType type
protected Var var
| Constructor Detail | 
|---|
public AggregateDefn()
| Method Detail | 
|---|
public void addClause(Clause c)
public void setType(ArrowType t)
public Var getVar()
public Definition simplify()
                    throws CompilationException
CompilationException| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||