|
|||||||||
| Home >> All >> bossa >> [ syntax overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||
Package bossa.syntax
| Interface Summary | |
| Function | |
| Macro | A macro. |
| Module | A Nice module. |
| TypeMap | A mapping from type names to type symbols. |
| Class Summary | |
| AbstractInterface | Declaration of an abstract interface (i.e. |
| AbstractInterfaceImplementation | Declaration that an existing class implements an abstract interface. |
| Alike | The "alike" syntactic keyword in Monotypes |
| Arguments | Arguments of a function call. |
| Arguments.Argument | |
| AssignExp | Assignment. |
| AST | The Abstract Syntax Tree : a collection of definitions. |
| AtomicConstraint | An abstract constraint atom. |
| AtomicConstraint.Wrapper | |
| Block | A block : a list of statements with local variables. |
| Block.LocalConstant | |
| Block.LocalConstant.Symbol | |
| Block.LocalDeclaration | |
| Block.LocalFunction | |
| Block.LocalValue | |
| Block.LocalVariable | |
| Block.LocalVariable.Symbol | |
| BreakLabelStmt | Terminate abruptly an enclosing statement. |
| BreakStmt | Terminate abruptly the nearest enclosing loop. |
| CallExp | A function call. |
| ClassDefinition | Abstract syntax for a class definition. |
| ClassDefinition.Class | |
| ClassDefinition.ClassImplementation | |
| ClassDefinition.Interface | |
| ConstantExp | Constant expressions (values) of basic types. |
| ConstantExp.Boolean | |
| Constraint | A list of binders + atomic constraints. |
| Constructor | An object constructor. |
| ContinueStmt | Continue a loop with its next iteration. |
| Contract | |
| DefaultMethodImplementation | |
| Definition | Abstract definition. |
| EmptyStmt | |
| EnumDefinition | |
| Expression | An expression of the Nice language. |
| ExpressionStmt | Compute an expression and forget the value. |
| FieldAccess | A field access. |
| FormalParameters | Parameters of a method declaration. |
| FormalParameters.NamedParameter | A named parameter. |
| FormalParameters.OptionalParameter | A named parameter with a default value. |
| FormalParameters.Parameter | An anonymous formal parameter. |
| FormalParameters.Parameter.AccessExp | |
| FormalParameters.Parameter.Symbol | |
| FunExp | A functional abstraction expression. |
| FunSymbol | |
| FunType | Functional type. |
| GlobalTypeScope | The global, toplevel type scope. |
| GlobalVarDeclaration | Declaration of a local variable with an optional initial value. |
| GlobalVarScope | The global scope of symbols. |
| IdentExp | Identifier supposed to be a variable (not a type). |
| IfExp | Conditional expression (used in statements too). |
| ImplementsCst | A type constructor implements an interface. |
| IncrementExp | Postfix or infix incrementation or decrementation of a numeric variable. |
| InlinedMethod | A method that is compiled by inlining code. |
| JavaClass | A class definition which reflects an existing native java class. |
| JavaClasses | Methods to deal with existing java classes and methods. |
| JavaConstructor | A Java constructor method. |
| JavaFieldAccess | A native java field access. |
| JavaMethod | A Native Java Method. |
| LabeledStmt | A statement anotated by a label (used by break and continue). |
| LiteralArrayExp | Creates an array containing the given elements. |
| LocatedString | A tring with location information. |
| LoopStmt | General loop statement (used for 'for', 'while do', 'do while' ...) |
| MethodBodyDefinition | Definition of an alternative for a method. |
| MethodContainer | An entity in which methods can be declared. |
| MethodContainer.Constraint | Class type parameters |
| MethodDeclaration | Declaration of a method. |
| MethodImplementation | |
| MonoSymbol | A variable symbol which has a monotype (eg a function parameter) |
| Monotype | Syntactic monomorphic type. |
| Monotype.VarWrapper | |
| Monotype.Wrapper | |
| MonotypeConstructor | A monotype, build by application of a type constructor to type parameters. |
| MonotypeLeqCst | Syntactic inequality between monotypes. |
| NewArrayExp | Allocate a new instance of an Array type. |
| NewExp | Call of an object constructor. |
| NiceClass | Abstract syntax for a class definition. |
| NiceFieldAccess | A field access in a Nice class. |
| NiceMethod | A method defined in Nice. |
| NiceMethod.WithDefault | Method with default implementation |
| Node | Basic component of the syntax tree. |
| NullExp | The 'null' expression. |
| OverloadedSymbolExp | A symbol, for which overloading resolution has yet to be done. |
| PackageExp | Temporary expression to represent a package or a package prefix. |
| Pattern | Represents the information about one argument of a method body. |
| PolySymbol | A variable symbol which has a polytype (eg a method symbol) |
| Polytype | A constrained monotype. |
| PrimitiveType | A primitive type. |
| ReturnStmt | return in a function or method. |
| RetypedJavaMethod | A Java method which is explicitely given a more precise type in the Nice source program. |
| Statement | Abstract ancestor for all statements. |
| StatementExp | A statement made by the evaluation of an expression. |
| StringConstantExp | A String constant. |
| SuperExp | A call to the next most specific implementation of a metohd. |
| SymbolExp | Access to a symbol (variable, function parameter). |
| SynchronizedStmt | A synchronized block. |
| TryStmt | A try/catch/finally statement |
| TupleExp | Creation of a tuple. |
| TupleType | A tuple of types. |
| TypeConstantExp | A type used as an expression. |
| TypeConstructorLeqCst | Inequality between TypeConstructors. |
| TypeConstructors | Tools for classes and type constructors. |
| TypeIdent | A syntactic type identifier. |
| TypeMaper | A mapping from type names to type symbols. |
| TypeParameters | Type parameters. |
| TypeScope | A Scope level for types. |
| UserOperator | An operator whose semantics is defined by the user (i.e. |
| VarScope | A Scope level for variables. |
| VarSymbol | A variable (local, field of a class, parameter of a method or function). |
| VoidConstantExp | The void constant. |
| Exception Summary | |
| CallExp.ReportErrorEx | |
| DuplicateIdentEx | Thrown when the same ident is defined twice in the same scope level. |
| Function.IncompatibleReturnType | |
| Function.ReturnTypeError | |
| Function.WrongReturnType | |
| Error Summary |
|
|||||||||
| Home >> All >> bossa >> [ syntax overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||