Package org.mizartools.dli

Examples of org.mizartools.dli.ItemType

343
344
345
346
347
348
349
350
351
352
353
    String aid = theorem.getAid();
    if (aid == null) aid = abstractSignature.getArticleId();
    ArticleId articleId = new ArticleId(aid);
    Formula formula = Adapter.getFormula(abstractSignature, theorem.getFormula(), new VariableId());
    ItemDefinition itemDefinition = new Theorem(formula);
    ItemType itemType = null;
    int nr = 0;
    switch (theorem.getKind()){
    case D :
      itemType = ItemType.def;
      theoremIdDef.increment();
View Full Code Here
371
372
373
374
375
376
377
378
379
380
381
      org.mizartools.system.xml.Scheme scheme,
      SchemeId schemeId) throws DliException {
    String aid = scheme.getAid();
    if (aid == null) aid = abstractSignature.getArticleId();
    ArticleId articleId = new ArticleId(aid);
    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);
View Full Code Here
TOP

Related Classes of org.mizartools.dli.ItemType

  • 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.