org.norecess.citkit.tir.expressions
Interface ICallETIR
- All Superinterfaces:
- ExpressionTIR, HobbesTIR
- All Known Implementing Classes:
- CallETIR
public interface ICallETIR
- extends ExpressionTIR
getArguments
java.util.List<? extends ExpressionTIR> getArguments()
- Returns the arguments of the function call.
- Returns:
- the arguments of the function call.
getFunction
ExpressionTIR getFunction()
- Returns the function of the function call.
- Returns:
- the function of the function call.
setType
void setType(HobbesType type)