Package org.mizartools.dli

Examples of org.mizartools.dli.ItemId

700
701
702
703
704
705
706
707
    case aggr : itemType = ItemType.aggr; break;
    case func : itemType = ItemType.func; break;
    case pred : itemType = ItemType.pred; break;
    default : throw new DliException();
    }
    ItemId itemId = new ItemId(articleId, itemType, uniqueIdentifier.nr);
    return itemId;
  }
View Full Code Here
145
146
147
148
149
150
151
152
153
      itemType = ItemType.sel;
      break;
    default :
    }
    int nr = constructor.getNr();
    ItemId itemId = new ItemId(articleId, itemType, nr);
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here
212
213
214
215
216
217
218
219
220
221
    default :
    }
    if (itemDefinition == null)  itemDefinition = new ItemDefinition("?");

    int nr = pattern.getNr();
    ItemId itemId = new ItemId(articleId, itemType, nr);

    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here
236
237
238
239
240
241
242
243
244
    } else {
      assumptions = new Assumptions(Adapter.getFormula(abstractSignature, definiens.getFormula(), new VariableId())); 
    }
    ProperDefiniens properDefiniens = Adapter.getProperDefiniens(abstractSignature, definiens.getDefMeaning(), new VariableId());
    itemDefinition = new Definiens(definiendum, loci, visible, assumptions, properDefiniens);
    ItemId itemId = new ItemId(articleId, ItemType.dfs, definiens.getDefnr() - relativeNr);
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here
258
259
260
261
262
263
264
265
266
    LinkedList<org.mizartools.system.xml.Cluster> clusterList2 = new LinkedList<org.mizartools.system.xml.Cluster>();
    if (cCluster.getCluster2() != null) clusterList2.add(cCluster.getCluster2());
    if (cCluster.getCluster3() != null) clusterList2.add(cCluster.getCluster3());
    Cluster cluster = new Cluster(Adapter.getAdjectiveList(abstractSignature, clusterList2));
    itemDefinition = new ConditionalRegistration(loci, antecedent, type, cluster);
    ItemId itemId = new ItemId(articleId, ItemType.condreg, cCluster.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here
278
279
280
281
282
283
284
285
286
    if (fCluster.getCluster1() != null) clusterList.add(fCluster.getCluster1());
    if (fCluster.getCluster2() != null) clusterList.add(fCluster.getCluster2());
    Cluster cluster = new Cluster(Adapter.getAdjectiveList(abstractSignature, clusterList));
    ItemDefinition itemDefinition = new TermAdjectiveRegistration(loci, cluster, term, type);
    fCluster.getArgTypes();
    ItemId itemId = new ItemId(articleId, ItemType.funcreg, fCluster.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here
295
296
297
298
299
300
301
302
303
    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));
    ItemDefinition itemDefinition = new ExistentialRegistration(loci, cluster, type);
    ItemId itemId = new ItemId(articleId, ItemType.exreg, rCluster.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here
328
329
330
331
332
333
334
335
336
      }
    Argeqs argeqs = new Argeqs(argeqList);
    Func func1 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm1(), new VariableId());
    Func func2 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm2(), new VariableId());
    ItemDefinition itemDefinition = new IdentifyRegistration(loci, func1, func2, argeqs);
    ItemId itemId = new ItemId(articleId, ItemType.idreg, identify.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here
359
360
361
362
363
364
365
366
367
      nr = theoremId.getId();
      break;
    default :
    }
    if (theorem.getNr() != null) nr = theorem.getNr();
    ItemId itemId = new ItemId(articleId, itemType, nr);
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
    ItemType itemType = ItemType.sch;
    int nr = 0;
    schemeId.increment();
    nr = schemeId.getId();
    if (scheme.getNr() != null) nr = scheme.getNr();
    ItemId itemId = new ItemId(articleId, itemType, nr);
    LinkedList<Type> typeList = Adapter.getParameters(abstractSignature, scheme.getArgTypes());
    Parameters parameters = new Parameters(typeList);
    LinkedList<Formula> formulaList = Adapter.getFormulaList(abstractSignature, scheme.getFormula2List());
    Premisses premisses = new Premisses(formulaList);
    LinkedList<Formula> formula2List = new LinkedList<Formula>();
    formula2List.add(Adapter.getFormula(abstractSignature, scheme.getFormula1(), new VariableId()));
    Thesis thesis = new Thesis(formula2List);
   
    ItemDefinition itemDefinition = new Scheme(itemId.toString(), parameters, premisses, thesis);
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here
TOP

Related Classes of org.mizartools.dli.ItemId

  • org.mizartools.dli.utility.Adapter
  • org.mizartools.dli.utility.FormulaConverter
  • 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.