]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.layer0.utils/src/org/simantics/layer0/utils/instantiation/Instance.java
Fixed all line endings of the repository
[simantics/platform.git] / bundles / org.simantics.layer0.utils / src / org / simantics / layer0 / utils / instantiation / Instance.java
1 /*******************************************************************************
2  * Copyright (c) 2007, 2010 Association for Decentralized Information Management
3  * in Industry THTH ry.
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
8  *
9  * Contributors:
10  *     VTT Technical Research Centre of Finland - initial API and implementation
11  *******************************************************************************/
12 package org.simantics.layer0.utils.instantiation;
13
14 import java.util.ArrayList;
15 import java.util.List;
16
17 import org.simantics.db.ReadGraph;
18 import org.simantics.db.Resource;
19 import org.simantics.db.WriteGraph;
20 import org.simantics.db.common.utils.Literals;
21 import org.simantics.db.common.utils.NameUtils;
22 import org.simantics.db.exception.DatabaseException;
23
24
25 public class Instance {
26     
27     public static class RelatedInstance {
28         Resource relation;
29         Instance instance;
30         int      cardinality;
31     }
32
33     public Resource              equals           = null;
34     public List<RelatedInstance> relatedInstances = new ArrayList<RelatedInstance>();
35     public Object                value            = null;
36
37     public Instance() {
38     }
39     
40     public Instance(Resource equals) {
41         this.equals = equals;
42     }
43     
44     public Resource instantiate(WriteGraph graph) throws DatabaseException {
45         if(equals != null)
46             return equals;
47         Resource ret = graph.newResource();        
48         for(RelatedInstance instance : relatedInstances)
49             for(int i=0;i<instance.cardinality;++i) 
50                 graph.claim(ret, instance.relation, 
51                         instance.instance.instantiate(graph));
52         if(value != null)
53             graph.claimValue(ret, value);
54         return ret;
55     }
56     
57     public Resource instantiateUsing(WriteGraph graph, Resource resource) throws DatabaseException {
58         if(equals != null)
59             return equals;
60         Resource ret = resource;        
61         for(RelatedInstance instance : relatedInstances)
62             for(int i=0;i<instance.cardinality;++i) 
63                 graph.claim(ret, instance.relation, 
64                         instance.instance.instantiate(graph));     
65         if(value != null)
66             graph.claimValue(ret, value);
67         return ret;
68     }   
69     
70     public void print(StringBuilder builder, int indentation, ReadGraph graph) throws DatabaseException {
71         ++ indentation;
72         if(equals != null) {
73             builder.append(NameUtils.getSafeName(graph, equals));
74         }
75         else {
76             if(value != null) {
77                 builder.append(Literals.literalToString(value));
78                 builder.append(" : ");
79             }
80             else 
81                 builder.append("* : ");        
82 //            boolean first = true;            
83     
84             for(RelatedInstance instance : relatedInstances) {
85                 builder.append("\n");
86                 for(int i=0;i<indentation;++i)
87                     builder.append("    ");
88                 builder.append(NameUtils.getSafeName(graph, instance.relation));
89                 if(instance.cardinality != 1)
90                     builder.append("[" + instance.cardinality + "]");
91                 builder.append(" = ");
92                 instance.instance.print(builder, indentation, graph);
93             }
94
95         }
96     }
97     
98     public String toString(ReadGraph graph) throws DatabaseException {
99         StringBuilder builder = new StringBuilder();
100         print(builder, 0, graph);
101         return builder.toString();
102     }
103     
104 }