orc.ast.extended.declaration.def
Class AggregateDef

java.lang.Object
  orc.ast.extended.declaration.def.AggregateDef

public class AggregateDef
extends java.lang.Object

Field Summary

protected java.util.List<Type>	argTypes
protected java.util.List<Clause>	clauses
protected SourceLocation	location
protected Type	resultType
protected java.util.List<java.lang.String>	typeParams
protected Variable	var

Constructor Summary

AggregateDef()

Method Summary

void	addClause(Clause c)
void	addLocation(SourceLocation sourceLocation)
Variable	getVar()
boolean	isStrict()
void	setArgTypes(java.util.List<Type> argTypes)
void	setResultType(Type resultType)
void	setStrictness(boolean strict)
void	setTypeParams(java.util.List<java.lang.String> typeParams)
Def	simplify()

Methods inherited from class java.lang.Object

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

Field Detail

clauses

protected java.util.List<Clause> clauses

var

protected Variable var

typeParams

protected java.util.List<java.lang.String> typeParams

argTypes

protected java.util.List<Type> argTypes

resultType

protected Type resultType

location

protected SourceLocation location

Constructor Detail

AggregateDef

public AggregateDef()

Method Detail

addClause

public void addClause(Clause c)

getVar

public Variable getVar()

simplify

public Def simplify()
             throws CompilationException

Throws:

CompilationException

setTypeParams

public void setTypeParams(java.util.List<java.lang.String> typeParams)
                   throws CompilationException

Throws:

CompilationException

setResultType

public void setResultType(Type resultType)
                   throws CompilationException

Throws:

CompilationException

setArgTypes

public void setArgTypes(java.util.List<Type> argTypes)
                 throws CompilationException

Throws:

CompilationException

addLocation

public void addLocation(SourceLocation sourceLocation)

setStrictness

public void setStrictness(boolean strict)
                   throws CompilationException

Parameters:

strict -

Throws:

CompilationException

isStrict

public boolean isStrict()