Uses of Interface
org.norecess.citkit.tir.IPosition

Packages that use IPosition
org.norecess.citkit.tir This package provides the classes necessary to implement a Tree Intermediate Representation (TIR) of a program. 
org.norecess.citkit.tir.declarations   
org.norecess.citkit.tir.expressions This package provides the classes for the expressions in a language. 
org.norecess.citkit.tir.lvalues   
org.norecess.citkit.tir.types   
 

Uses of IPosition in org.norecess.citkit.tir
 

Classes in org.norecess.citkit.tir that implement IPosition
 class Position
          An abstraction of the position in a source-code file.
 

Methods in org.norecess.citkit.tir that return IPosition
 IPosition DeclarationTIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 IPosition LValueTIR.getPosition()
          Returns the location of the l-value in the code.
 IPosition HobbesTIR.getPosition()
          The position of the TIR in the source code.
 

Uses of IPosition in org.norecess.citkit.tir.declarations
 

Methods in org.norecess.citkit.tir.declarations that return IPosition
 IPosition VariableDTIR.getPosition()
           
 IPosition FunctionDTIR.getPosition()
           
 IPosition TypeDTIR.getPosition()
           
 

Constructors in org.norecess.citkit.tir.declarations with parameters of type IPosition
FunctionDTIR(IPosition position, java.lang.String name, java.util.List<IFieldTIR> parameters, ExpressionTIR body)
          Constructs a procedure declaration.
FunctionDTIR(IPosition position, java.lang.String name, java.util.List<IFieldTIR> parameters, INameTTIR result, ExpressionTIR body)
          Constructs a function declaration.
TypeDTIR(IPosition position, java.lang.String name, TypeTIR type)
          Constructs a new type declaration.
VariableDTIR(IPosition position, ISymbol symbol, INameTTIR type, ExpressionTIR initialization)
          Constructs a variable declaration.
 

Uses of IPosition in org.norecess.citkit.tir.expressions
 

Methods in org.norecess.citkit.tir.expressions that return IPosition
 IPosition IntegerETIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 IPosition ForETIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 IPosition OperatorETIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 IPosition RecordETIR.getPosition()
          Retrieves the position of the code that generated the AST.
 IPosition LetETIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 IPosition AssignmentETIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 IPosition BooleanETIR.getPosition()
           
 IPosition LambdaETIR.getPosition()
           
 IPosition VariableETIR.getPosition()
          Retrieves the position of the text that generated the TIR.
 IPosition IfETIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 IPosition ArrayETIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 IPosition NilETIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 IPosition StringETIR.getPosition()
          Retrieves the position of the code that generated the AST.
 IPosition SequenceETIR.getPosition()
          Retrieves the position of the code that generated the AST.
 IPosition WhileETIR.getPosition()
          Retrieves the position of the code that generated the AST.
 IPosition CallETIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 IPosition BreakETIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 IPosition FieldAssignmentTIR.getPosition()
          Retrieves the position of the code that generated the TIR.
 

Constructors in org.norecess.citkit.tir.expressions with parameters of type IPosition
ArrayETIR(IPosition position, java.lang.String type, ExpressionTIR size, ExpressionTIR init)
          Creates an array expression.
AssignmentETIR(IPosition position, LValueTIR lvalue, ExpressionTIR expression)
          Creates an assignment expression.
BooleanETIR(IPosition position, boolean value)
           
BooleanETIR(IPosition position, java.lang.String value)
           
BreakETIR(IPosition position)
          Constructs a break statement.
CallETIR(IPosition position, ExpressionTIR function, java.util.List<? extends ExpressionTIR> arguments, HobbesType type)
          Constructs a function invocation.
FieldAssignmentTIR(IPosition position, java.lang.String name, ExpressionTIR init)
          Constructs a field initialization for a RecordETIR.
ForETIR(IPosition position, ISimpleLValueTIR identifier, ExpressionTIR low, ExpressionTIR high, ExpressionTIR body)
          Constructs a for loop.
IfETIR(IPosition position, ExpressionTIR test, ExpressionTIR thenClause)
          Constructs an if statement without an else clause.
IfETIR(IPosition position, ExpressionTIR test, ExpressionTIR thenClause, ExpressionTIR elseClause)
          Constructs an if statement.
IntegerETIR(IPosition position, int value)
          Constructs a literal integer expression.
LambdaETIR(IPosition position, java.lang.String parameter, ExpressionTIR body)
           
LetETIR(IPosition position, java.util.List<? extends DeclarationTIR> declarations, ExpressionTIR body)
          Constructs a let expression.
NilETIR(IPosition position)
          Constructs a nil expression.
OperatorETIR(IPosition position, ExpressionTIR left, IOperatorETIR.IOperator operator, ExpressionTIR right)
          Constructs an operator expression.
RecordETIR(IPosition position, java.lang.String type, java.util.List<FieldAssignmentTIR> fieldExps)
          Constructs a record expression.
SequenceETIR(IPosition position, java.util.List<ExpressionTIR> expressions)
          Constructs a sequence of expressions.
StringETIR(IPosition position, java.lang.String value)
          Constructs a literal string expression.
VariableETIR(IPosition position, LValueTIR lvalue)
          Constructs a variable expression.
VariableETIR(IPosition position, LValueTIR lvalue, HobbesType type)
          Constructs a variable expression.
WhileETIR(IPosition position, ExpressionTIR test, ExpressionTIR body)
          Constructs a while loop.
 

Uses of IPosition in org.norecess.citkit.tir.lvalues
 

Methods in org.norecess.citkit.tir.lvalues that return IPosition
 IPosition FieldLValueTIR.getPosition()
           
 IPosition FieldTIR.getPosition()
          Retrieves the position of the code that generated the AST.
 IPosition SubscriptLValueTIR.getPosition()
           
 IPosition SimpleLValueTIR.getPosition()
           
 

Constructors in org.norecess.citkit.tir.lvalues with parameters of type IPosition
FieldLValueTIR(IPosition position, LValueTIR variable, java.lang.String field)
          Constructs a field variable reference.
FieldTIR(IPosition position, java.lang.String name, java.lang.String type)
          Constructs a new field.
SimpleLValueTIR(IPosition position, ISymbol name)
          Constructs a simple variable reference.
SimpleLValueTIR(IPosition position, ISymbol name, HobbesType type)
          Constructs a simple variable reference.
SubscriptLValueTIR(IPosition position, LValueTIR variable, ExpressionTIR index)
          Constructs a subscripted variable reference.
 

Uses of IPosition in org.norecess.citkit.tir.types
 

Methods in org.norecess.citkit.tir.types that return IPosition
 IPosition NameTTIR.getPosition()
          Retrieves the position of the code that generated the AST.
 IPosition ArrayTTIR.getPosition()
          Retrieves the position of the code that generated the AST.
 IPosition RecordTTIR.getPosition()
          Retrieves the position of the code that generated the AST.
 

Constructors in org.norecess.citkit.tir.types with parameters of type IPosition
ArrayTTIR(IPosition position, java.lang.String elementType)
          Constructs an array type.
NameTTIR(IPosition position, java.lang.String name)
          Constructs a name type.
RecordTTIR(IPosition position, java.util.List<IFieldTIR> fields)
          Constructs a record type.