Package org.mizartools.dli

Examples of org.mizartools.dli.DliException

622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
      LinkedList<Term> termList = new LinkedList<Term>();
      for (org.mizartools.system.xml.Term term : pred.getTermList()) {
        termList.add(getTerm(abstractSignature, term, vid));
      }
      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);
          break;
        default :
          formulaDli = new Pred(itemId, termList);
        }
      }
    } else if (formula instanceof org.mizartools.system.xml.Is){
      org.mizartools.system.xml.Is is = (org.mizartools.system.xml.Is) formula;
      Type type = getType(abstractSignature, is.getTyp());
      LinkedList<Term> termList = new LinkedList<Term>();
      termList.add(getTerm(abstractSignature, is.getTerm(), vid));
      formulaDli = new Is(termList, type);
    } else if (formula instanceof org.mizartools.system.xml.Verum){
      formulaDli = new Verum();
    } else throw new DliException();
    return formulaDli;
  }
View Full Code Here
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
      org.mizartools.system.xml.Pred.Kind kind, Integer nr) throws DliException {
    UniqueIdentifier uniqueIdentifier = null;
    try {
      uniqueIdentifier = UniqueIdentifier.getInstance(abstractSignature, null, kind, nr);
    } catch (UniqueIdentifierException e) {
      throw new DliException();
    }
    ArticleId articleId = new ArticleId(uniqueIdentifier.aid);
    ItemType itemType = null;
    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
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
      Integer constrnr) throws DliException {
    UniqueIdentifier uniqueIdentifier = null;
    try {
      uniqueIdentifier = UniqueIdentifier.getInstance(abstractSignature, null, constrkind, constrnr);
    } catch (UniqueIdentifierException e) {
      throw new DliException();
    }
    ArticleId articleId = new ArticleId(uniqueIdentifier.aid);
    ItemType itemType = null;
    switch (uniqueIdentifier.type){
    case mode : itemType = ItemType.mode; break;
    case attr : itemType = ItemType.attr; break;
    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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
      org.mizartools.system.xml.Field field) throws DliException {
    UniqueIdentifier uniqueIdentifier = null;
    try {
      uniqueIdentifier = UniqueIdentifier.getInstance(abstractSignature, field);
    } catch (UniqueIdentifierException e) {
      throw new DliException();
    }
    ArticleId articleId = new ArticleId(uniqueIdentifier.aid);
    ItemType itemType = null;
    switch (uniqueIdentifier.type){
    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
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
    LinkedList<Term> termList = new LinkedList<Term>();
    UniqueIdentifier uniqueIdentifier = null;
    try {
      uniqueIdentifier = UniqueIdentifier.getInstance(abstractSignature, constructor.getRedefaid() , constructor.getKind(), constructor.getRedefnr());
    } catch (UniqueIdentifierException e) {
      throw new DliException();
    }
    ArticleId articleId = new ArticleId(uniqueIdentifier.aid);
    ItemType itemType = null;
    switch (uniqueIdentifier.type){
    case mode : itemType = ItemType.mode; break;
    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
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
        Term termDli;
          if (term instanceof org.mizartools.system.xml.Func) {
        org.mizartools.system.xml.Func func = (org.mizartools.system.xml.Func) term;
          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) {
            termDli = new LocusVar(((org.mizartools.system.xml.LocusVar)term).getNr());
          } else if (term instanceof org.mizartools.system.xml.Num) {
            termDli = new Num(((org.mizartools.system.xml.Num)term).getNr());
          } else {
          throw new DliException();
          }
          termDliList.add(termDli);
      }
      return termDliList;
  }
View Full Code Here
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
    throws DliException {
      UniqueIdentifier uniqueIdentifier = null;
      try {
        uniqueIdentifier = UniqueIdentifier.getInstance(abstractSignature, func);
      } catch (UniqueIdentifierException e) {
        throw new DliException();
      }
      ArticleId articleId = new ArticleId(uniqueIdentifier.aid);
      ItemType itemType = null;
      switch (uniqueIdentifier.type){
      case mode : itemType = ItemType.mode; break;
      case func : itemType = ItemType.func; break;
      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
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
  throws DliException {
    UniqueIdentifier uniqueIdentifier = null;
    try {
      uniqueIdentifier = UniqueIdentifier.getInstance(abstractSignature, typ);
    } catch (UniqueIdentifierException e) {
      throw new DliException();
    }
    ArticleId articleId = new ArticleId(uniqueIdentifier.aid);
    ItemType itemType = null;
    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
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
  throws DliException {
    UniqueIdentifier uniqueIdentifier = null;
    try {
      uniqueIdentifier = UniqueIdentifier.getInstance(abstractSignature, adjective);
    } catch (UniqueIdentifierException e) {
      throw new DliException();
    }
    ArticleId articleId = new ArticleId(uniqueIdentifier.aid);
    ItemType itemType = null;
    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
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
    if (pattern.getConstrnr() == 0) return null;
    UniqueIdentifier uniqueIdentifier = null;
    try {
      uniqueIdentifier = UniqueIdentifier.getInstance(abstractSignature, null, pattern.getConstrkind(), pattern.getConstrnr());
    } catch (UniqueIdentifierException e) {
      throw new DliException();
    }
    ArticleId articleId = new ArticleId(uniqueIdentifier.aid);
    ItemType itemType = null;
    switch (uniqueIdentifier.type){
    case mode : itemType = ItemType.mode; break;
    case attr : itemType = ItemType.attr; break;
    case pred : itemType = ItemType.pred; break;
    case func : itemType = ItemType.func; break;
    case struct : itemType = ItemType.struct; break;
    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
TOP

Related Classes of org.mizartools.dli.DliException

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