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 MethodContainer  

java.lang.Object
  bossa.syntax.Node
      bossa.syntax.Definition
          bossa.syntax.MethodContainer

All Implemented Interfaces:

bossa.util.Located

Direct Known Subclasses:

AbstractInterface, ClassDefinition

---

public abstract class MethodContainer

extends Definition

An entity in which methods can be declared. It can have type parameters, that are implicitely added to the englobed methods.

Version:

$Date: 2003/11/15 17:25:47 $

---

Nested Class Summary
static class	MethodContainer.Constraint           Class type parameters

 

Field Summary
(package private)  MethodContainer.Constraint	classConstraint
(package private)  mlsub.typing.AtomicConstraint[]	resolvedConstraints
(package private)  mlsub.typing.Variance	variance

 

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)	MethodContainer(LocatedString name, int propagate, MethodContainer.Constraint classConstraint, java.util.List variance)

 

Method Summary
mlsub.typing.TypeSymbol[]	getBinders()           The binders of the constraint.
mlsub.typing.Constraint	getResolvedConstraint()
(package private)  java.lang.String	getSimpleName()           The name of this method container without package qualification.
mlsub.typing.Monotype[]	getTypeParameters()           The type parameters of the class.
(package private) abstract  mlsub.typing.TypeSymbol	getTypeSymbol()
private static mlsub.typing.Variance	makeVariance(java.util.List typeParametersVariances)
void	printInterface(java.io.PrintWriter s)           Children should call this implementation (super) then print their specific information.
(package private)  java.lang.String	printTypeParameters()
(package private)  void	resolve()           uses the scope to replace identifiers with their meaning

 

Methods inherited from class bossa.syntax.Definition

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

 

Methods inherited from class bossa.syntax.Node

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

 

Methods inherited from class java.lang.Object

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

 

Field Detail

variance

mlsub.typing.Variance variance

---

classConstraint

final MethodContainer.Constraint classConstraint

---

resolvedConstraints

mlsub.typing.AtomicConstraint[] resolvedConstraints

Constructor Detail

MethodContainer

MethodContainer(LocatedString name,
                int propagate,
                MethodContainer.Constraint classConstraint,
                java.util.List variance)

Method Detail

getSimpleName

java.lang.String getSimpleName()

The name of this method container without package qualification.

---

getTypeSymbol

abstract mlsub.typing.TypeSymbol getTypeSymbol()

---

makeVariance

private static mlsub.typing.Variance makeVariance(java.util.List typeParametersVariances)

---

resolve

void resolve()

Description copied from class: Node

uses the scope to replace identifiers with their meaning

Overrides:

resolve in class Node

---

getBinders

public mlsub.typing.TypeSymbol[] getBinders()

The binders of the constraint.

---

getTypeParameters

public mlsub.typing.Monotype[] getTypeParameters()

The type parameters of the class.

---

getResolvedConstraint

public mlsub.typing.Constraint getResolvedConstraint()

---

printInterface

public void printInterface(java.io.PrintWriter s)

Children should call this implementation (super) then print their specific information.

Specified by:

printInterface in class Definition

---

printTypeParameters

java.lang.String printTypeParameters()

---

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

---