BuiltinTermInterpreter (refinery-language 0.2.0 API)

java.lang.Object

tools.refinery.language.expressions.AbstractTermInterpreter

tools.refinery.language.expressions.BuiltinTermInterpreter

All Implemented Interfaces:: TermInterpreter

public final class BuiltinTermInterpreter extends AbstractTermInterpreter

Nested Class Summary

Nested classes/interfaces inherited from class tools.refinery.language.expressions.AbstractTermInterpreter
AbstractTermInterpreter.Cast<R,T>, AbstractTermInterpreter.Range<T>, AbstractTermInterpreter.Serializer<A extends AbstractValue<A,C>,C>
Constructor Summary

Constructors

Constructor

Description

BuiltinTermInterpreter()
Method Summary

Modifier and Type

Method

Description

static IntConstant

createIntConstant(int value)

static LogicConstant

createLogicConstant(TruthValue value)

static RealConstant

createRealConstant(BigDecimal value)

static StringConstant

createStringConstant(String value)

Methods inherited from class tools.refinery.language.expressions.AbstractTermInterpreter
addAggregator, addBinaryOperator, addCast, addDomain, addDomain, addNegation, addOverload, addOverloadInternal, addUnaryOperator, createBinaryOperator, createCast, createComparison, createError, createLatticeOperator, createLatticeOperatorTerm, createNegation, createNegativeInfinity, createOverloadedFunctionCall, createPositiveInfinity, createRange, createUnaryOperator, createUnknown, getAggregationType, getAggregator, getBinaryOperatorType, getDomain, getNegationType, getOverloadedSignature, getUnaryOperationType, isCastSupported, isComparable, serialize

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- BuiltinTermInterpreter
  
  public BuiltinTermInterpreter()
Method Details
- createLogicConstant
  
  public static LogicConstant createLogicConstant(TruthValue value)
- createIntConstant
  
  public static IntConstant createIntConstant(int value)
- createRealConstant
  
  public static RealConstant createRealConstant(BigDecimal value)
- createStringConstant
  
  public static StringConstant createStringConstant(String value)