Package org.mizartools.dli

Examples of org.mizartools.dli.ArticleId

340
341
342
343
344
345
346
347
348
349
350
      org.mizartools.system.xml.Theorem theorem,
      TheoremId theoremId,
      TheoremId theoremIdDef) throws DliException {
    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()){
View Full Code Here
370
371
372
373
374
375
376
377
378
379
380
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      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();
View Full Code Here
518
519
520
521
522
523
524
525
526
527
528
  }

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

  • org.mizartools.dli.utility.Adapter
  • org.mizartools.dli.utility.ItemFactory
  • org.mizartools.example.ui.TestDLIPanel
    • 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.