Package tools.refinery.language.expressions

Interface TermInterpreter

All Known Implementing Classes:

AbstractTermInterpreter, BuiltinTermInterpreter, CompositeTermInterpreter

public interface TermInterpreter

Method Summary

Modifier and Type	Method	Description
Optional<AnyTerm>	createBinaryOperator(BinaryOp op, DataExprType leftType, DataExprType rightType, AnyTerm left, AnyTerm right)
Optional<AnyTerm>	createCast(DataExprType fromType, DataExprType toType, AnyTerm body)
Optional<Term<TruthValue>>	createComparison(ComparisonOp op, DataExprType type, AnyTerm left, AnyTerm right)
Optional<AnyTerm>	createError(DataExprType type)
Optional<AnyTerm>	createLatticeOperator(LatticeBinaryOp op, DataExprType type, AnyTerm left, AnyTerm right)
Optional<AnyTerm>	createNegation(DataExprType type, AnyTerm body)
Optional<AnyTerm>	createNegativeInfinity(DataExprType type)
Optional<AnyTerm>	createOverloadedFunctionCall(PrimitiveName primitive, List<DataExprType> argumentTypes, List<AnyTerm> arguments)
Optional<AnyTerm>	createPositiveInfinity(DataExprType type)
Optional<AnyTerm>	createRange(DataExprType type, AnyTerm left, AnyTerm right)
Optional<AnyTerm>	createUnaryOperator(UnaryOp op, DataExprType type, AnyTerm body)
Optional<AnyTerm>	createUnknown(DataExprType type)
Optional<DataExprType>	getAggregationType(AggregatorName aggregator, DataExprType type)
Optional<AnyPartialAggregator>	getAggregator(AggregatorName aggregator, DataExprType type)
Optional<DataExprType>	getBinaryOperatorType(BinaryOp op, DataExprType leftType, DataExprType rightType)
Optional<AnyAbstractDomain>	getDomain(DataExprType type)
Optional<DataExprType>	getNegationType(DataExprType type)
Optional<Signature>	getOverloadedSignature(PrimitiveName primitive, List<@Nullable DataExprType> argumentTypes)
Optional<DataExprType>	getUnaryOperationType(UnaryOp op, DataExprType type)
boolean	isCastSupported(DataExprType fromType, DataExprType toType)
boolean	isComparable(DataExprType type)
Optional<Expr>	serialize(DataExprType type, Object value)

Method Details

getNegationType

Optional<DataExprType> getNegationType(DataExprType type)

getDomain

Optional<AnyAbstractDomain> getDomain(DataExprType type)

createNegation

Optional<AnyTerm> createNegation(DataExprType type,
 AnyTerm body)

createRange

Optional<AnyTerm> createRange(DataExprType type,
 AnyTerm left,
 AnyTerm right)

createUnaryOperator

Optional<AnyTerm> createUnaryOperator(UnaryOp op,
 DataExprType type,
 AnyTerm body)

createBinaryOperator

Optional<AnyTerm> createBinaryOperator(BinaryOp op,
 DataExprType leftType,
 DataExprType rightType,
 AnyTerm left,
 AnyTerm right)

getUnaryOperationType

Optional<DataExprType> getUnaryOperationType(UnaryOp op,
 DataExprType type)

isComparable

boolean isComparable(DataExprType type)

createComparison

Optional<Term<TruthValue>> createComparison(ComparisonOp op,
 DataExprType type,
 AnyTerm left,
 AnyTerm right)

createLatticeOperator

Optional<AnyTerm> createLatticeOperator(LatticeBinaryOp op,
 DataExprType type,
 AnyTerm left,
 AnyTerm right)

getBinaryOperatorType

Optional<DataExprType> getBinaryOperatorType(BinaryOp op,
 DataExprType leftType,
 DataExprType rightType)

isCastSupported

boolean isCastSupported(DataExprType fromType,
 DataExprType toType)

createCast

Optional<AnyTerm> createCast(DataExprType fromType,
 DataExprType toType,
 AnyTerm body)

getAggregationType

Optional<DataExprType> getAggregationType(AggregatorName aggregator,
 DataExprType type)

getAggregator

Optional<AnyPartialAggregator> getAggregator(AggregatorName aggregator,
 DataExprType type)

getOverloadedSignature

Optional<Signature> getOverloadedSignature(PrimitiveName primitive,
 List<@Nullable DataExprType> argumentTypes)

createOverloadedFunctionCall

Optional<AnyTerm> createOverloadedFunctionCall(PrimitiveName primitive,
 List<DataExprType> argumentTypes,
 List<AnyTerm> arguments)

createUnknown

Optional<AnyTerm> createUnknown(DataExprType type)

createError

Optional<AnyTerm> createError(DataExprType type)

createNegativeInfinity

Optional<AnyTerm> createNegativeInfinity(DataExprType type)

createPositiveInfinity

Optional<AnyTerm> createPositiveInfinity(DataExprType type)

serialize

Optional<Expr> serialize(DataExprType type,
 Object value)