Package org.mizartools.dli

Examples of org.mizartools.dli.ItemId

193
194
195
196
197
198
199
200
201
202
203
          LinkedList<Term> term2List = getTermList(abstractSignature, ((org.mizartools.system.xml.Func)term).getTermList());
        if (func.getKind() == org.mizartools.system.xml.Func.Kind.F){
          if (func.getNr() == null) throw new DliException();
          termDli = new PrivateFunctor(func.getNr(), term2List);
        } else {
            ItemId itemId = getItemId(abstractSignature, ((org.mizartools.system.xml.Func)term)); 
              termDli = new Func(itemId, term2List);
        }
          } else if (term instanceof org.mizartools.system.xml.Var) {
            termDli = new Variable(((org.mizartools.system.xml.Var)term).getNr());
          } else if (term instanceof org.mizartools.system.xml.LocusVar) {
View Full Code Here
230
231
232
233
234
235
236
237
      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
251
252
253
254
255
256
257
258
    switch (uniqueIdentifier.type){
    case mode : itemType = ItemType.mode; break;
    case struct : itemType = ItemType.struct; break;
    default : throw new DliException();
    }
    ItemId itemId = new ItemId(articleId, itemType, uniqueIdentifier.nr);
    return itemId;
  }
View Full Code Here
263
264
265
266
267
268
269
270
271
272
273
      LinkedList<Adjective> adjectiveList = new LinkedList<Adjective>();
      for (org.mizartools.system.xml.Cluster cluster : clusterList){
        for (org.mizartools.system.xml.Adjective adjective : cluster.getAdjectiveList()){
          Boolean value = adjective.getValue();
          if (value == null) value = true;
          ItemId itemId = getItemId(abstractSignature, adjective);
          LinkedList<Term> termList = getTermList(abstractSignature, adjective.getTermList());
          Adjective adjectiveDli = new Adjective(value, itemId, termList);
          adjectiveList.add(adjectiveDli);
        }
      }
View Full Code Here
289
290
291
292
293
294
295
296
    switch (uniqueIdentifier.type){
    case mode : itemType = ItemType.mode; break;
    case attr : itemType = ItemType.attr; break;
    default : throw new DliException();
    }
    ItemId itemId = new ItemId(articleId, itemType, uniqueIdentifier.nr);
    return itemId;
  }
View Full Code Here
326
327
328
329
330
331
332
333
334
    case sel : itemType = ItemType.sel; break;
    case aggr : itemType = ItemType.aggr; break;
    case forg : itemType = ItemType.forg; break;
    default : throw new DliException();
    }
    ItemId itemId = new ItemId(articleId, itemType, uniqueIdentifier.nr);
    Constructor constructor = new Constructor(itemId);
    return constructor;
  }
View Full Code Here
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
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.