orc.ast.extended.declaration.def
Class DefMemberClause

java.lang.Object
  extended by orc.ast.extended.declaration.def.DefMember
      extended by orc.ast.extended.declaration.def.DefMemberClause
All Implemented Interfaces:
ASTNode, Locatable, Located

public class DefMemberClause
extends DefMember

A unit of syntax that encapsulates an expression definition. Definitions are scoped in the abstract syntax tree through a Declare containing a DefsDeclaration.

Author:
dkitchin

Field Summary
 Expression body
           
 java.util.List<java.util.List<Pattern>> formals
           
 Type resultType
           
 boolean strict
           
 java.util.List<java.lang.String> typeFormals
           
 
Fields inherited from class orc.ast.extended.declaration.def.DefMember
name
 
Constructor Summary
DefMemberClause(java.lang.String name, java.util.List<java.util.List<Pattern>> formals, Expression body, Type resultType, java.util.List<java.lang.String> typeFormals, boolean strict)
           
 
Method Summary
<E> E
accept(Visitor<E> visitor)
           
 void extend(AggregateDef adef)
           
 java.lang.String sigToString()
           
 java.lang.String toString()
           
 
Methods inherited from class orc.ast.extended.declaration.def.DefMember
getSourceLocation, setSourceLocation
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

formals

public java.util.List<java.util.List<Pattern>> formals

typeFormals

public java.util.List<java.lang.String> typeFormals

body

public Expression body

resultType

public Type resultType

strict

public boolean strict
Constructor Detail

DefMemberClause

public DefMemberClause(java.lang.String name,
                       java.util.List<java.util.List<Pattern>> formals,
                       Expression body,
                       Type resultType,
                       java.util.List<java.lang.String> typeFormals,
                       boolean strict)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

sigToString

public java.lang.String sigToString()

accept

public <E> E accept(Visitor<E> visitor)

extend

public void extend(AggregateDef adef)
            throws CompilationException
Specified by:
extend in class DefMember
Throws:
CompilationException