1 /*******************************************************************************
2 * Copyright (c) 2007, 2010 Association for Decentralized Information Management
4 * All rights reserved. This program and the accompanying materials
5 * are made available under the terms of the Eclipse Public License v1.0
6 * which accompanies this distribution, and is available at
7 * http://www.eclipse.org/legal/epl-v10.html
10 * VTT Technical Research Centre of Finland - initial API and implementation
11 *******************************************************************************/
12 package org.simantics.modeling.mapping;
14 import org.simantics.db.Resource;
15 import org.simantics.layer0.utils.binaryPredicates.CompositePredicate;
16 import org.simantics.layer0.utils.binaryPredicates.IBinaryPredicate;
17 import org.simantics.layer0.utils.binaryPredicates.Relation;
18 import org.simantics.layer0.utils.predicates.Conjunction;
19 import org.simantics.layer0.utils.predicates.Disjunction;
20 import org.simantics.layer0.utils.predicates.IUnaryPredicate;
21 import org.simantics.layer0.utils.predicates.Negation;
22 import org.simantics.layer0.utils.predicates.Type;
23 import org.simantics.layer0.utils.triggers.Trigger;
24 import org.simantics.mapping.constraint.instructions.AndInstruction;
25 import org.simantics.mapping.constraint.instructions.BinaryPredicateInstruction;
26 import org.simantics.mapping.constraint.instructions.BinaryPredicateObjectQuery;
27 import org.simantics.mapping.constraint.instructions.BinaryPredicateSubjectQuery;
28 import org.simantics.mapping.constraint.instructions.ExistsInstruction;
29 import org.simantics.mapping.constraint.instructions.IInstruction;
30 import org.simantics.mapping.constraint.instructions.NotInstruction;
31 import org.simantics.mapping.constraint.instructions.OrInstruction;
32 import org.simantics.mapping.constraint.instructions.TripletInstruction;
33 import org.simantics.mapping.constraint.instructions.TripletObjectQuery;
34 import org.simantics.mapping.constraint.instructions.TripletPredicateObjectQuery;
35 import org.simantics.mapping.constraint.instructions.TripletSubjectPredicateQuery;
36 import org.simantics.mapping.constraint.instructions.TypedBracketInstruction;
37 import org.simantics.mapping.constraint.instructions.TypedBracketInstruction.CreationInstruction;
38 import org.simantics.mapping.constraint.instructions.UnaryPredicateInstruction;
39 import org.simantics.mapping.rule.instructions.AndRuleInstruction;
40 import org.simantics.mapping.rule.instructions.ClaimRuleInstruction;
41 import org.simantics.mapping.rule.instructions.DenyRuleInstruction;
42 import org.simantics.mapping.rule.instructions.IRuleInstruction;
43 import org.simantics.mapping.rule.instructions.IfRuleInstruction;
44 import org.simantics.mapping.rule.instructions.PrintRuleInstruction;
45 import org.simantics.mapping.rule.instructions.QueryRuleInstruction;
46 import org.simantics.mapping.rule.instructions.UnlessRuleInstruction;
48 public abstract class MappingBase extends Trigger {
50 public static IInstruction bf(IBinaryPredicate predicate, int variable0, int variable1) {
51 return new BinaryPredicateObjectQuery(variable0, variable1, predicate);
54 public static IInstruction fb(IBinaryPredicate predicate, int variable0, int variable1) {
55 return new BinaryPredicateSubjectQuery(variable0, variable1, predicate);
58 public static IInstruction bf(Resource relation, int variable0, int variable1) {
59 return bf(new Relation(relation), variable0, variable1);
62 public static IInstruction fb(Resource relation, int variable0, int variable1) {
63 return fb(new Relation(relation), variable0, variable1);
66 public static IInstruction bb(IBinaryPredicate predicate, int variable0, int variable1) {
67 return new BinaryPredicateInstruction(variable0, variable1, predicate);
70 public static IInstruction bb(Resource relation, int variable0, int variable1) {
71 return bb(new Relation(relation), variable0, variable1);
74 public static IInstruction b(IUnaryPredicate predicate, int variable0) {
75 return new UnaryPredicateInstruction(variable0, predicate);
78 public static IInstruction b(Resource type, int variable0) {
79 return b(new Type(type), variable0);
82 public static IInstruction statement_ffb(int variable0, int variable1, int variable2) {
83 return new TripletSubjectPredicateQuery(variable0, variable1, variable2);
86 public static IInstruction statement_ffb(int variable0, int variable1, int variable2, Resource baseRelation) {
87 return new TripletSubjectPredicateQuery(variable0, variable1, variable2, baseRelation);
90 public static IInstruction statement_bff(int variable0, int variable1, int variable2) {
91 return new TripletPredicateObjectQuery(variable0, variable1, variable2);
94 public static IInstruction statement_bbf(int variable0, int variable1, int variable2) {
95 return new TripletObjectQuery(variable0, variable1, variable2);
98 public static IInstruction statement_bff(int variable0, int variable1, int variable2, Resource baseRelation) {
99 return new TripletPredicateObjectQuery(variable0, variable1, variable2, baseRelation);
102 public static IInstruction statement(int variable0, int variable1, int variable2) {
103 return new TripletInstruction(variable0, variable1, variable2);
106 public static IInstruction exists(IInstruction constraint, int ... variables) {
107 return new ExistsInstruction(constraint, variables);
110 public static IInstruction exists(int ... variables) {
111 return new ExistsInstruction(and(), variables);
114 public static IInstruction exists(IInstruction constraint, CreationInstruction ... instrs) {
115 return new TypedBracketInstruction(constraint, instrs);
118 public static IInstruction and() {
119 return new AndInstruction();
122 public static IUnaryPredicate and(IUnaryPredicate ... predicates) {
123 return new Conjunction(predicates);
126 public static IUnaryPredicate or(IUnaryPredicate ... predicates) {
127 return new Disjunction(predicates);
130 public static IUnaryPredicate not(IUnaryPredicate predicate) {
131 return new Negation(predicate);
134 public static IUnaryPredicate implies(IUnaryPredicate from, IUnaryPredicate to) {
135 return or(not(from), to);
138 public static IInstruction and(IInstruction ... constraints) {
139 return new AndInstruction(constraints);
142 public static IInstruction or(IInstruction ... constraints) {
143 return new OrInstruction(constraints);
146 public static IInstruction not(IInstruction constraint) {
147 return new NotInstruction(constraint);
150 public static IRuleInstruction and(IRuleInstruction ... rules) {
151 return new AndRuleInstruction(rules);
154 public static IRuleInstruction claim(IInstruction constraint) {
155 return new ClaimRuleInstruction(constraint);
158 public static IRuleInstruction claim(IInstruction ... constraints) {
159 return claim(and(constraints));
162 public static IRuleInstruction claim(IInstruction constraint, IRuleInstruction continuation) {
163 return new ClaimRuleInstruction(constraint, continuation);
166 public static IRuleInstruction deny(IInstruction constraint) {
167 return new DenyRuleInstruction(constraint);
170 public static IRuleInstruction if_(IInstruction condition, IRuleInstruction then) {
171 return new IfRuleInstruction(condition, then);
174 public static IRuleInstruction if_(IInstruction condition, IRuleInstruction then, IRuleInstruction else_) {
175 return new IfRuleInstruction(condition, then, else_);
178 public static IRuleInstruction unless(IInstruction condition, IRuleInstruction then) {
179 return new UnlessRuleInstruction(condition, then);
182 public static IRuleInstruction query(IRuleInstruction rule) {
183 return new QueryRuleInstruction(rule);
186 public static IRuleInstruction print(String text) {
187 return new PrintRuleInstruction(text);
190 public static IBinaryPredicate compose(Resource a, Resource b) {
191 return new CompositePredicate(new Relation(a), new Relation(b));
194 public static IBinaryPredicate compose(Resource a, IBinaryPredicate b) {
195 return new CompositePredicate(new Relation(a), b);
198 public static IBinaryPredicate compose(IBinaryPredicate a, Resource b) {
199 return new CompositePredicate(a, new Relation(b));
202 public static IBinaryPredicate compose(Resource a, Resource b, Resource c) {
203 return compose(compose(a, b), c);