Overview  Package   Class  Use  Deprecated  Index
Home >> All >> bossa >> [ syntax overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

bossa.syntax
Class UserOperator  

java.lang.Object
  bossa.syntax.Node
      bossa.syntax.Definition
          bossa.syntax.MethodDeclaration
              bossa.syntax.UserOperator

All Implemented Interfaces:

bossa.util.Located

Direct Known Subclasses:

NiceMethod

---

abstract class UserOperator

extends MethodDeclaration

An operator whose semantics is defined by the user (i.e. not built-in). A contract can be attached to a user operator.

Version:

$Date: 2003/11/28 13:52:08 $

---

Nested Class Summary

 

Nested classes inherited from class bossa.syntax.MethodDeclaration

MethodDeclaration.Symbol

 

Field Summary
private  Contract	contract
private  MonoSymbol[]	symbols

 

Fields inherited from class bossa.syntax.MethodDeclaration

arity, parameters

 

Fields inherited from class bossa.syntax.Definition

currentModule, docString, module, name

 

Fields inherited from class bossa.syntax.Node

children, currentFunction, down, global, none, propagate, scope, thisExp, typeScope, upper

 

Constructor Summary
(package private)	UserOperator(LocatedString name, Constraint constraint, Monotype returnType, FormalParameters parameters, Contract contract)

 

Method Summary
(package private)  void	doResolve()           Resolution
Contract	getContract()
MonoSymbol[]	getSymbols()
(package private)  void	innerTypecheck()           Typechecking
java.lang.String	toString()           Printing
(package private)  void	typecheckCompiled()           Typechecking when the package has already been compiled.

 

Methods inherited from class bossa.syntax.MethodDeclaration

checkSpecialRequirements, compile, computeCode, explainWhyMatchFails, formalParameters, getArgTypes, getArity, getCode, getCodeInCallPosition, getFullName, getReturnType, getSymbol, getType, isFieldAccess, isIgnored, javaArgTypes, javaReturnType, printInterface, typecheck, typedResolve

 

Methods inherited from class bossa.syntax.Definition

associatedDefinitions, compilation, getName, inInterfaceFile, location, printInterface, resolveBody

 

Methods inherited from class bossa.syntax.Node

addChild, addChildren, addFirstChild, addSymbol, addTypeMap, addTypeSymbol, addTypeSymbols, buildScope, buildScope, child, doTypecheck, getCurrentFunction, getGlobalScope, getGlobalTypeScope, getScope, getTypeScope, removeChild, resolve, setCurrentFunction, setModule

 

Methods inherited from class java.lang.Object

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

 

Field Detail

contract

private Contract contract

---

symbols

private MonoSymbol[] symbols

Constructor Detail

UserOperator

UserOperator(LocatedString name,
             Constraint constraint,
             Monotype returnType,
             FormalParameters parameters,
             Contract contract)

Method Detail

getContract

public Contract getContract()

---

doResolve

void doResolve()

Resolution

Overrides:

doResolve in class Node

---

toString

public java.lang.String toString()

Description copied from class: MethodDeclaration

Printing

Overrides:

toString in class MethodDeclaration

---

getSymbols

public MonoSymbol[] getSymbols()

---

innerTypecheck

void innerTypecheck()
              throws mlsub.typing.TypingEx

Typechecking

Overrides:

innerTypecheck in class MethodDeclaration

---

typecheckCompiled

void typecheckCompiled()

Description copied from class: MethodDeclaration

Typechecking when the package has already been compiled.

Overrides:

typecheckCompiled in class MethodDeclaration

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> bossa >> [ syntax overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---