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

Packages that use ExpressionTIR
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   
 

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

Methods in org.norecess.citkit.tir.declarations that return ExpressionTIR
 ExpressionTIR FunctionDTIR.getBody()
          Returns the body of the function.
 ExpressionTIR IFunctionDTIR.getBody()
          Returns the body of the function.
 ExpressionTIR VariableDTIR.getInititialization()
          Returns the initialization expression.
 ExpressionTIR IVariableDTIR.getInititialization()
          Returns the initialization expression.
 

Constructors in org.norecess.citkit.tir.declarations with parameters of type ExpressionTIR
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.
FunctionDTIR(java.lang.String name, java.util.List<IFieldTIR> parameters, ExpressionTIR body)
          Basic constructor for a procedure.
FunctionDTIR(java.lang.String name, java.util.List<IFieldTIR> parameters, INameTTIR result, ExpressionTIR body)
          Basic constructor for a function.
VariableDTIR(IPosition position, ISymbol symbol, INameTTIR type, ExpressionTIR initialization)
          Constructs a variable declaration.
VariableDTIR(ISymbol symbol, ExpressionTIR initialization)
          Constructs a variable declaration without a known type.
VariableDTIR(ISymbol symbol, INameTTIR type, ExpressionTIR initialization)
          Basic constructor.
 

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

Subinterfaces of ExpressionTIR in org.norecess.citkit.tir.expressions
 interface IArrayETIR
           
 interface IAssignmentETIR
           
 interface IBooleanETIR
           
 interface ICallETIR
           
 interface IFieldAssignmentTIR
           
 interface IForETIR
           
 interface IIfETIR
           
 interface IIntegerETIR
           
 interface ILambdaETIR
           
 interface ILetETIR
           
 interface IOperatorETIR
           
 interface IRecordETIR
           
 interface ISequenceETIR
           
 interface IStringETIR
           
 interface IVariableETIR
           
 interface IWhileETIR
           
 

Classes in org.norecess.citkit.tir.expressions that implement ExpressionTIR
 class ArrayETIR
          The TIR for the expression to create (i.e., allocate) a new array.
 class AssignmentETIR
          The TIR for an assignment expression.
 class BooleanETIR
          A way to represent boolean values in Hobbes.
 class BreakETIR
          The TIR for a break statement.
 class CallETIR
          The TIR for a function invocation.
 class FieldAssignmentTIR
          The TIR for initializating a field in a record..
 class ForETIR
          The TIR for a for loop.
 class IfETIR
          The TIR for an if statement.
 class IntegerETIR
          The TIR for a literal integer expression.
 class LambdaETIR
           
 class LetETIR
          The TIR for a let expression.
 class NilETIR
          The TIR for a nil value.
 class OperatorETIR
          The TIR for an operator expression.
 class RecordETIR
          The TIR for an expression that creates (i.e., allocates) a new record object.
 class SequenceETIR
          The TIR for a sequence of expressions.
 class StringETIR
          The TIR for a literal string expression.
 class VariableETIR
          The TIR for a variable (i.e., l-value) expression.
 class WhileETIR
          The TIR for a while statement.
 

Methods in org.norecess.citkit.tir.expressions that return ExpressionTIR
 ExpressionTIR ForETIR.getBody()
          Returns the body of the for loop.
 ExpressionTIR LetETIR.getBody()
          Returns the body of the let expression.
 ExpressionTIR LambdaETIR.getBody()
          Returns the body of the lambda.
 ExpressionTIR ILetETIR.getBody()
          Returns the body of the let expression.
 ExpressionTIR ILambdaETIR.getBody()
          Returns the body of the lambda.
 ExpressionTIR WhileETIR.getBody()
          Returns the body of the while expression.
 ExpressionTIR IWhileETIR.getBody()
          Returns the body of the while expression.
 ExpressionTIR IForETIR.getBody()
          Returns the body of the for loop.
 ExpressionTIR IfETIR.getElseClause()
          Returns the else clause of the if statement.
 ExpressionTIR IIfETIR.getElseClause()
          Returns the else clause of the if statement.
 ExpressionTIR IAssignmentETIR.getExpression()
          Returns the expression of the assignment expression.
 ExpressionTIR AssignmentETIR.getExpression()
          Returns the expression of the assignment expression.
 ExpressionTIR SequenceETIR.getExpression(int index)
           
 ExpressionTIR ISequenceETIR.getExpression(int index)
           
 ExpressionTIR ICallETIR.getFunction()
          Returns the function of the function call.
 ExpressionTIR CallETIR.getFunction()
          Returns the function of the function call.
 ExpressionTIR ForETIR.getHigh()
          Returns the high value for the index variable.
 ExpressionTIR IForETIR.getHigh()
          Returns the high value for the index variable.
 ExpressionTIR ArrayETIR.getInit()
          Returns the initialization expression.
 ExpressionTIR IFieldAssignmentTIR.getInit()
          Returns the initialization expression for the field.
 ExpressionTIR IArrayETIR.getInit()
          Returns the initialization expression.
 ExpressionTIR FieldAssignmentTIR.getInit()
          Returns the initialization expression for the field.
 ExpressionTIR OperatorETIR.getLeft()
          Returns the left expression.
 ExpressionTIR IOperatorETIR.getLeft()
          Returns the left expression.
 ExpressionTIR OperatorETIR.getLeftExpression()
          Returns the left expression.
 ExpressionTIR ForETIR.getLow()
          Returns the low (initial) value of the index variable.
 ExpressionTIR IForETIR.getLow()
          Returns the low (initial) value of the index variable.
 ExpressionTIR OperatorETIR.getRight()
          Returns the right expression.
 ExpressionTIR IOperatorETIR.getRight()
          Returns the right expression.
 ExpressionTIR OperatorETIR.getRightExpression()
          Returns the right expression.
 ExpressionTIR ArrayETIR.getSize()
          Returns the size of the array.
 ExpressionTIR IArrayETIR.getSize()
          Returns the size of the array.
 ExpressionTIR IfETIR.getTest()
          Returns the test of the if statement.
 ExpressionTIR WhileETIR.getTest()
          Returns the test of the while expression.
 ExpressionTIR IWhileETIR.getTest()
          Returns the test of the while expression.
 ExpressionTIR IIfETIR.getTest()
          Returns the test of the if statement.
 ExpressionTIR IfETIR.getThenClause()
          Returns the then clause of the if statement.
 ExpressionTIR IIfETIR.getThenClause()
          Returns the then clause of the if statement.
 

Methods in org.norecess.citkit.tir.expressions that return types with arguments of type ExpressionTIR
 java.util.List<? extends ExpressionTIR> ICallETIR.getArguments()
          Returns the arguments of the function call.
 java.util.List<? extends ExpressionTIR> CallETIR.getArguments()
          Returns the arguments of the function call.
 java.util.List<? extends ExpressionTIR> SequenceETIR.getExpressions()
          Returns the list of expressions in the sequence.
 java.util.List<? extends ExpressionTIR> ISequenceETIR.getExpressions()
          Returns the list of expressions in the sequence.
 java.util.Iterator<ExpressionTIR> SequenceETIR.iterator()
           
 

Constructors in org.norecess.citkit.tir.expressions with parameters of type ExpressionTIR
ArrayETIR(IPosition position, java.lang.String type, ExpressionTIR size, ExpressionTIR init)
          Creates an array expression.
ArrayETIR(java.lang.String type, ExpressionTIR size, ExpressionTIR init)
          Basic constructor.
AssignmentETIR(IPosition position, LValueTIR lvalue, ExpressionTIR expression)
          Creates an assignment expression.
AssignmentETIR(LValueTIR lvalue, ExpressionTIR expression)
          Basic constructor.
CallETIR(ExpressionTIR function, java.util.List<? extends ExpressionTIR> arguments)
          Basic constructor.
CallETIR(ExpressionTIR function, java.util.List<? extends ExpressionTIR> arguments, HobbesType type)
          Basic constructor.
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.
FieldAssignmentTIR(java.lang.String name, ExpressionTIR init)
          Basic constructor.
ForETIR(IPosition position, ISimpleLValueTIR identifier, ExpressionTIR low, ExpressionTIR high, ExpressionTIR body)
          Constructs a for loop.
ForETIR(ISimpleLValueTIR identifier, ExpressionTIR low, ExpressionTIR high, ExpressionTIR body)
          Basic constructor.
IfETIR(ExpressionTIR test, ExpressionTIR thenClause)
          Basic constructor.
IfETIR(ExpressionTIR test, ExpressionTIR thenClause, ExpressionTIR elseClause)
          Basic constructor.
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.
LambdaETIR(IPosition position, java.lang.String parameter, ExpressionTIR body)
           
LambdaETIR(java.lang.String variable, ExpressionTIR body)
           
LetETIR(IPosition position, java.util.List<? extends DeclarationTIR> declarations, ExpressionTIR body)
          Constructs a let expression.
LetETIR(java.util.List<? extends DeclarationTIR> declarations, ExpressionTIR body)
          Basic constructor.
OperatorETIR(ExpressionTIR left, IOperatorETIR.IOperator operator, ExpressionTIR right)
          Basic constructor.
OperatorETIR(IPosition position, ExpressionTIR left, IOperatorETIR.IOperator operator, ExpressionTIR right)
          Constructs an operator expression.
WhileETIR(ExpressionTIR test, ExpressionTIR body)
          Basic constructor.
WhileETIR(IPosition position, ExpressionTIR test, ExpressionTIR body)
          Constructs a while loop.
 

Constructor parameters in org.norecess.citkit.tir.expressions with type arguments of type ExpressionTIR
CallETIR(ExpressionTIR function, java.util.List<? extends ExpressionTIR> arguments)
          Basic constructor.
CallETIR(ExpressionTIR function, java.util.List<? extends ExpressionTIR> arguments, HobbesType type)
          Basic constructor.
CallETIR(IPosition position, ExpressionTIR function, java.util.List<? extends ExpressionTIR> arguments, HobbesType type)
          Constructs a function invocation.
SequenceETIR(IPosition position, java.util.List<ExpressionTIR> expressions)
          Constructs a sequence of expressions.
SequenceETIR(java.util.List<ExpressionTIR> expressions)
          Basic construcotr.
 

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

Methods in org.norecess.citkit.tir.lvalues that return ExpressionTIR
 ExpressionTIR ISubscriptLValueTIR.getIndex()
          Returns the array index of the subscript reference.
 ExpressionTIR SubscriptLValueTIR.getIndex()
          Returns the array index of the subscript reference.
 

Constructors in org.norecess.citkit.tir.lvalues with parameters of type ExpressionTIR
SubscriptLValueTIR(IPosition position, LValueTIR variable, ExpressionTIR index)
          Constructs a subscripted variable reference.
SubscriptLValueTIR(LValueTIR variable, ExpressionTIR index)
          Basic constructor.