Package org.mizartools.dli

Examples of org.mizartools.dli.Loci

713
714
715
716
717
718
719
720
    for (org.mizartools.system.xml.Typ typ : typList) {
//      nr++;
      Type type = getType(abstractSignature, typ);
      typeList.add(type);
    }
    Loci loci = new Loci(typeList);
    return loci;
  }
View Full Code Here
713
714
715
716
717
718
719
720
    for (org.mizartools.system.xml.Typ typ : typList) {
      nr++;
      Type type = getType(abstractSignature, typ);
      typeList.add(type);
    }
    Loci loci = new Loci(typeList);
    return loci;
  }
View Full Code Here
158
159
160
161
162
163
164
165
166
167
168
    throws DliException {
    ArticleId articleId = new ArticleId(pattern.getAid());
    ItemType itemType = null;
    ItemDefinition itemDefinition = null;
    SymbolId symbolId1 = Adapter.getSymbolId1(pattern);
    Loci loci = Adapter.getLoci(abstractSignature, pattern.getArgTypes());
    Format format = Adapter.getFormat(pattern.getFormat());
    Visible visible = Adapter.getVisible(pattern.getVisible());
    Constructor constructor = Adapter.getConstructor(abstractSignature, pattern);
    Synonym synonym = null;
    Antonym antonym = null;
View Full Code Here
226
227
228
229
230
231
232
233
234
235
236
      int relativeNr)
  throws DliException {
    ArticleId articleId = new ArticleId(definiens.getAid());
    ItemDefinition itemDefinition = null;
    Definiendum definiendum = new Definiendum(Adapter.getItemId(abstractSignature, definiens.getConstrkind(), definiens.getConstrnr()));
    Loci loci = Adapter.getLoci(abstractSignature, definiens.getTypList());
    Visible visible = Adapter.getVisible(definiens.getEssentials());
    Assumptions assumptions = null;
    if (definiens.getFormula() == null) {
      assumptions = new Assumptions(new Verum()); 
    } else {
View Full Code Here
247
248
249
250
251
252
253
254
255
256
257
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.CCluster cCluster)
    throws DliException {
    ArticleId articleId = new ArticleId(cCluster.getAid());
    ItemDefinition itemDefinition = null;
    Loci loci = Adapter.getLoci(abstractSignature, cCluster.getArgTypes());
    Type type = null;
    if (cCluster.getTyp() != null) type = Adapter.getType(abstractSignature, cCluster.getTyp());
    LinkedList<org.mizartools.system.xml.Cluster> cluster1List = new LinkedList<org.mizartools.system.xml.Cluster>();
    if (cCluster.getCluster1() != null) cluster1List.add(cCluster.getCluster1());
    Antecedent antecedent = new Antecedent(Adapter.getAdjectiveList(abstractSignature, cluster1List));
View Full Code Here
268
269
270
271
272
273
274
275
276
277
278
  public static DecodedLibraryItem getItemF(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.FCluster fCluster)
    throws DliException {
    ArticleId articleId = new ArticleId(fCluster.getAid());
    Loci loci = Adapter.getLoci(abstractSignature, fCluster.getArgTypes());
    Term term = Adapter.getTerm(abstractSignature, fCluster.getTerm(), new VariableId());
    Type type = null;
    if (fCluster.getTyp() != null) type = Adapter.getType(abstractSignature, fCluster.getTyp());
    LinkedList<org.mizartools.system.xml.Cluster> clusterList = new LinkedList<org.mizartools.system.xml.Cluster>();
    if (fCluster.getCluster1() != null) clusterList.add(fCluster.getCluster1());
View Full Code Here
288
289
290
291
292
293
294
295
296
297
298
  public static DecodedLibraryItem getItemR(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.RCluster rCluster)
  throws DliException {
    ArticleId articleId = new ArticleId(rCluster.getAid());
    Loci loci = Adapter.getLoci(abstractSignature, rCluster.getArgTypes());
    Type type = Adapter.getType(abstractSignature, rCluster.getTyp());
    LinkedList<org.mizartools.system.xml.Cluster> clusterList = new LinkedList<org.mizartools.system.xml.Cluster>();
    if (rCluster.getCluster1() != null) clusterList.add(rCluster.getCluster1());
    if (rCluster.getCluster2() != null) clusterList.add(rCluster.getCluster2());
    Cluster cluster = new Cluster(Adapter.getAdjectiveList(abstractSignature, clusterList));
View Full Code Here
318
319
320
321
322
323
324
325
326
327
328
  public static DecodedLibraryItem getItem(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Identify identify) throws DliException {
    ArticleId articleId = new ArticleId(identify.getAid());
    Loci loci = Adapter.getLoci(abstractSignature, identify.getTypList());
      LinkedList<Argeq> argeqList = new LinkedList<Argeq>();
      for (org.mizartools.system.xml.Pair pair : identify.getEqArgs().getPairList()) {
        Argeq argeq = new Argeq(pair.getX(), pair.getY());
        argeqList.add(argeq);
      }
View Full Code Here
519
520
521
522
523
524
525
526
527
528
529
  public static DecodedLibraryItem getItem(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Reduction reduction) throws DliException {
    ArticleId articleId = new ArticleId(reduction.getAid());
    Loci loci = Adapter.getLoci(abstractSignature, reduction.getTypList());
      LinkedList<Type> typeList = new LinkedList<Type>();
      for (org.mizartools.system.xml.Typ typ : reduction.getTypList()) {
      Type type = Adapter.getType(abstractSignature, typ);
        typeList.add(type);
      }
View Full Code Here
TOP

Related Classes of org.mizartools.dli.Loci

  • org.mizartools.dli.utility.Adapter
  • org.mizartools.dli.utility.ItemFactory
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.