| java.lang.Object bossa.syntax.Expression
Expression | abstract public class Expression implements Located,Printable(Code) | | An expression of the Nice language.
Subclasses of Expression have the 'Exp' suffix in their name.
version: $Date: 2005/01/15 20:27:33 $ author: Daniel Bonniot (d.bonniot@mail.dotcom.fr) |
adjustToExpectedType | void adjustToExpectedType(Monotype expectedType)(Code) | | Called with the type that this expression is expected to have.
This information can be used to generate better code.
|
checkSpecialRequirements | void checkSpecialRequirements(Expression[] arguments)(Code) | | |
computeType | abstract void computeType()(Code) | | computes the static type of the expression
|
getType | static Polytype[] getType(Expression[] expressions)(Code) | | Maps getType over a collection of Expressions
Parameters: Expressions - the list of Expressions the list of their PolyTypes |
isAssignable | public boolean isAssignable()(Code) | | true iff this expression can be assigned a value. |
isFalse | boolean isFalse()(Code) | | |
isNull | public boolean isNull()(Code) | | |
noOverloading | Expression noOverloading()(Code) | | No overloading information is known,
just checks there is only one alternative.
the resolved expression. Doesn't return if OR is not possible. |
resolveOverloading | Expression resolveOverloading(Polytype expectedType)(Code) | | Resolve overloading, assuming that this expression
should have some Type.
Parameters: expectedType - the type this expression should have. the resolved expression. Doesn't return if OR is not possible. |
|
|