Package org.mizartools.dli

Examples of org.mizartools.dli.ItemId

542
543
544
545
546
547
548
549
550
551
552
      }
      if (func.getKind() == org.mizartools.system.xml.Func.Kind.F){
        if (func.getNr() == null) throw new DliException();
        termDli = new PrivateFunctor(func.getNr(), termList);
      } else {
        ItemId itemId = getItemId(abstractSignature, func.getKind(), func.getNr());
        termDli = new Func(itemId, termList);
      }
    } else if (term instanceof org.mizartools.system.xml.Choice) {
      termDli = new The(getType(abstractSignature, ((org.mizartools.system.xml.Choice)term).getTyp()));
    } else if (term instanceof org.mizartools.system.xml.Num) {
View Full Code Here
584
585
586
587
588
589
590
591
    case struct : itemType = ItemType.struct; break;
    case sel : itemType = ItemType.sel; break;
    case aggr : itemType = ItemType.aggr; break;
    default : throw new DliException();
    }
    ItemId itemId = new ItemId(articleId, itemType, uniqueIdentifier.nr);
    return itemId;
  }
View Full Code Here
626
627
628
629
630
631
632
633
634
635
636
      if (pred.getKind() == Kind.P) {
        if (pred.getNr() == null) throw new DliException();
        formulaDli = new PrivateFormula(pred.getNr(), termList);
      }
      else {
        ItemId itemId = getItemId(abstractSignature, pred.getKind(), pred.getNr());
        switch (pred.getKind()){
        case V :
          LinkedList<Adjective> adjectiveList = new LinkedList<Adjective>();
          Type type = new Type(adjectiveList, itemId, termList, false);
          formulaDli = new Is(termList, type);
View Full Code Here
666
667
668
669
670
671
672
673
    switch (uniqueIdentifier.type){
    case attr : itemType = ItemType.attr; 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
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
233
234
235
236
237
238
239
240
241
242
243
    return formula;
  }
 
  public static DecodedLibraryItem getCompressed(DecodedLibraryItem decodedLibraryItem) throws DliException {
    if (decodedLibraryItem.getItemId().getItemType() == ItemType.sch) {
      ItemId resourceId1 = decodedLibraryItem.getItemId();
      Scheme scheme = (Scheme) decodedLibraryItem.getItemDefinition();
      LinkedList<Formula> formula1List = new LinkedList<Formula>();
      boolean compressed = false;
      for (Formula formula : scheme.getThesis().getFormulaList()){
        Changed changed = new Changed();
View Full Code Here
75
76
77
78
79
80
81
82
83
84
85
  static Fields getFields(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Fields fields) throws DliException {
    LinkedList<ItemId> itemIdList = new LinkedList<ItemId>();
    for (org.mizartools.system.xml.Field field : fields.getFieldList()) {
      ItemId itemId = getItemId(abstractSignature, field);
      itemIdList.add(itemId);
    }
    Fields fieldsDli = new Fields(itemIdList);
    return fieldsDli;
  }
View Full Code Here
99
100
101
102
103
104
105
106
    case mode : itemType = ItemType.mode; break;
    case struct : itemType = ItemType.struct; break;
    case sel : itemType = ItemType.sel; break;
    default : throw new DliException();
    }
    ItemId itemId = new ItemId(articleId, itemType, uniqueIdentifier.nr);
    return itemId;
  }
View Full Code Here
136
137
138
139
140
141
142
143
144
145
    case func : itemType = ItemType.func; break;
    case pred : itemType = ItemType.pred; break;
    case attr : itemType = ItemType.attr; break;
    default : throw new DliException();
    }
    ItemId itemId = new ItemId(articleId, itemType, uniqueIdentifier.nr);
    Type type = new Type(adjectiveList, itemId, termList, false);
    Redefinition redefinition = new Redefinition(type);
    return redefinition;
  }
View Full Code Here
146
147
148
149
150
151
152
153
154
155
  static Type getType(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Typ typ) throws DliException{
        LinkedList<Adjective> adjectiveList = getAdjectiveList(abstractSignature, typ.getClusterList());
      ItemId itemId = getItemId(abstractSignature, typ); 
        LinkedList<Term> termList = getTermList(abstractSignature, typ.getTermList());
      Type type = new Type(adjectiveList, itemId, termList, true);
      return type;
    }
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.