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

Class DependencySpec

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.DependencySpec

All Implemented Interfaces:

LogicElementSpec

Direct Known Subclasses:

EGDSpec, TGDSpec

public abstract class DependencySpec
extends Object
implements LogicElementSpec

Specification of a Dependency. E.g. specification of a TGD, or EGD.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	DependencySpec(BodySpec bodySpec)

Method Summary

Modifier and Type	Method	Description
List<LiteralSpec>	getBody()

Methods inherited from class java.lang.Object

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

Constructor Details

DependencySpec

protected DependencySpec(BodySpec bodySpec)

Method Details

getBody

public List<LiteralSpec> getBody()