User Tools
magik-demo:developer:class:core:finitedomainconstraints
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:developer:class:core:finitedomainconstraints [2013/07/22 10:53] alex |
magik-demo:developer:class:core:finitedomainconstraints [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| This class describes a finite domain constraint defined over a single attribute in a relation. | This class describes a finite domain constraint defined over a single attribute in a relation. | ||
| + | |||
| + | ===== Class Attributes ===== | ||
| + | |||
| + | <code java> | ||
| + | private long id; | ||
| + | java.util.ArrayList<java.lang.String> values; | ||
| + | int argPosition; | ||
| + | Relation relation; | ||
| + | </code> | ||
| + | ===== Class Constructors ===== | ||
| + | |||
| + | ==== FiniteDomainConstraint ==== | ||
| + | |||
| + | <code java> | ||
| + | public FiniteDomainConstraint () | ||
| + | </code> | ||
| + | |||
| + | Default constructor with default values for attributes. | ||
| + | ---- | ||
| + | |||
| + | ==== FiniteDomainConstraint ==== | ||
| + | |||
| + | <code java> | ||
| + | public FiniteDomainConstraint (int argPosition, | ||
| + | java.util.ArrayList<java.lang.String> values, | ||
| + | Relation relation) | ||
| + | </code> | ||
| + | |||
| + | Constructor that instantiates each attribute with the values passed. | ||
| + | |||
| + | //Called by:// | ||
| + | * it.unibz.inf.magik.web.SessionControl | ||
| + | * it.unibz.inf.magik.db.DatabaseConnector | ||
| + | * it.unibz.inf.magik.test.TestHardCaseFDCandFK | ||
| + | * it.unibz.inf.magik.test.TestTCQCReasonerBlackWhiteExample | ||
| + | * it.unibz.inf.magik.test.TestValQueryProblem | ||
| + | * it.unibz.inf.magik.test.TestTCQCReasonerUnderFDC | ||
| + | * it.unibz.inf.magik.test.TestFK | ||
| + | * it.unibz.inf.magik.test.TestTCQCReasonerTCSuggestions | ||
| + | * it.unibz.inf.magik.test.TestTCQCReasonerPlainSchoolEx | ||
| + | * it.unibz.inf.magik.test.TestTCQCReasonerFKandFD | ||
| + | * it.unibz.inf.magik.test.TestQueryClass | ||
| + | |||
| + | **Parameters** | ||
| + | * argPostion - position of the constrained argument in the containing relation | ||
| + | * values - list of the values allowed for the argument on the argPostion | ||
| + | * relation - relation over which finite domain constraint is defined | ||
| + | ===== Class Methods ===== | ||
| + | |||
| + | ==== printHTML ==== | ||
| + | |||
| + | <code java> | ||
| + | public java.lang.String printHTML() | ||
| + | </code> | ||
| + | |||
| + | This method is used for create a compact view of a finite domain constraint key (''table[field] ∈ {'val1', 'val2'}'' ) | ||
| + | |||
| + | **Returns:** | ||
| + | * finite domain constraint adapted to the compact view | ||
| + | |||
| + | |||
| + | ---- | ||
| + | ==== getters and setters methods ==== | ||
| + | |||
| + | <code java> | ||
| + | public int getArgPosition() | ||
| + | public void setArgPosition(int argPosition) | ||
| + | |||
| + | public java.util.ArrayList<java.lang.String> getValues() | ||
| + | public void setValues(java.util.ArrayList<java.lang.String> values) | ||
| + | |||
| + | public long getId() | ||
| + | public void setId(long id) | ||
| + | |||
| + | public Relation getRelation() | ||
| + | public void setRelation(Relation relation) | ||
| + | |||
| + | </code> | ||
| + | |||
| + | [[magik-demo:developer:class:core:finitedomainconstraints|Back to Top]] | [[magik-demo:start|Back to Home Page]] | ||
magik-demo/developer/class/core/finitedomainconstraints.1374483239.txt.gz · Last modified: 2017/07/06 15:24 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
