Class CompositeTermInterpreter
java.lang.Object
tools.refinery.language.expressions.CompositeTermInterpreter
- All Implemented Interfaces:
TermInterpreter
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptioncreateBinaryOperator(BinaryOp op, DataExprType leftType, DataExprType rightType, AnyTerm left, AnyTerm right) createCast(DataExprType fromType, DataExprType toType, AnyTerm body) createComparison(ComparisonOp op, DataExprType type, AnyTerm left, AnyTerm right) createError(DataExprType type) createLatticeOperator(LatticeBinaryOp op, DataExprType type, AnyTerm left, AnyTerm right) createNegation(DataExprType type, AnyTerm body) createOverloadedFunctionCall(PrimitiveName primitive, List<DataExprType> argumentTypes, List<AnyTerm> arguments) createRange(DataExprType type, AnyTerm left, AnyTerm right) createUnaryOperator(UnaryOp op, DataExprType type, AnyTerm body) createUnknown(DataExprType type) getAggregationType(AggregatorName aggregator, DataExprType type) getAggregator(AggregatorName aggregator, DataExprType type) getBinaryOperatorType(BinaryOp op, DataExprType leftType, DataExprType rightType) getDomain(DataExprType type) getNegationType(DataExprType type) getOverloadedSignature(PrimitiveName primitive, List<@Nullable DataExprType> argumentTypes) getUnaryOperationType(UnaryOp op, DataExprType type) booleanisCastSupported(DataExprType fromType, DataExprType toType) booleanisComparable(DataExprType type) serialize(DataExprType type, Object value)
-
Constructor Details
-
CompositeTermInterpreter
-
-
Method Details
-
getNegationType
- Specified by:
getNegationTypein interfaceTermInterpreter
-
getDomain
- Specified by:
getDomainin interfaceTermInterpreter
-
createNegation
- Specified by:
createNegationin interfaceTermInterpreter
-
createRange
- Specified by:
createRangein interfaceTermInterpreter
-
createUnaryOperator
- Specified by:
createUnaryOperatorin interfaceTermInterpreter
-
createBinaryOperator
public Optional<AnyTerm> createBinaryOperator(BinaryOp op, DataExprType leftType, DataExprType rightType, AnyTerm left, AnyTerm right) - Specified by:
createBinaryOperatorin interfaceTermInterpreter
-
getUnaryOperationType
- Specified by:
getUnaryOperationTypein interfaceTermInterpreter
-
isComparable
- Specified by:
isComparablein interfaceTermInterpreter
-
createComparison
public Optional<Term<TruthValue>> createComparison(ComparisonOp op, DataExprType type, AnyTerm left, AnyTerm right) - Specified by:
createComparisonin interfaceTermInterpreter
-
createLatticeOperator
public Optional<AnyTerm> createLatticeOperator(LatticeBinaryOp op, DataExprType type, AnyTerm left, AnyTerm right) - Specified by:
createLatticeOperatorin interfaceTermInterpreter
-
getBinaryOperatorType
public Optional<DataExprType> getBinaryOperatorType(BinaryOp op, DataExprType leftType, DataExprType rightType) - Specified by:
getBinaryOperatorTypein interfaceTermInterpreter
-
isCastSupported
- Specified by:
isCastSupportedin interfaceTermInterpreter
-
createCast
- Specified by:
createCastin interfaceTermInterpreter
-
getAggregationType
- Specified by:
getAggregationTypein interfaceTermInterpreter
-
getAggregator
- Specified by:
getAggregatorin interfaceTermInterpreter
-
getOverloadedSignature
public Optional<Signature> getOverloadedSignature(PrimitiveName primitive, List<@Nullable DataExprType> argumentTypes) - Specified by:
getOverloadedSignaturein interfaceTermInterpreter
-
createOverloadedFunctionCall
public Optional<AnyTerm> createOverloadedFunctionCall(PrimitiveName primitive, List<DataExprType> argumentTypes, List<AnyTerm> arguments) - Specified by:
createOverloadedFunctionCallin interfaceTermInterpreter
-
createUnknown
- Specified by:
createUnknownin interfaceTermInterpreter
-
createError
- Specified by:
createErrorin interfaceTermInterpreter
-
createNegativeInfinity
- Specified by:
createNegativeInfinityin interfaceTermInterpreter
-
createPositiveInfinity
- Specified by:
createPositiveInfinityin interfaceTermInterpreter
-
serialize
- Specified by:
serializein interfaceTermInterpreter
-