Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Class BuiltInLiteralSpec

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BuiltInLiteralSpec

All Implemented Interfaces:

LiteralSpec, LogicElementSpec

public class BuiltInLiteralSpec
extends Object
implements LiteralSpec

Specification of a built-in literal.

Constructor Summary

Constructors

Constructor	Description
BuiltInLiteralSpec(String operator, List<TermSpec> termSpecs)

Method Summary

Modifier and Type	Method	Description
String	getOperator()
List<TermSpec>	getTermSpecList()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

BuiltInLiteralSpec

public BuiltInLiteralSpec(String operator,
 List<TermSpec> termSpecs)

Method Details

getOperator

public String getOperator()

getTermSpecList

public List<TermSpec> getTermSpecList()

Specified by:

getTermSpecList in interface LiteralSpec