Examples of DliException

Examples of org.mizartools.dli.DliException

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

Examples of org.mizartools.dli.DliException

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

Examples of org.mizartools.dli.DliException

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

Examples of org.mizartools.dli.DliException

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

Examples of org.mizartools.dli.DliException

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

Examples of org.mizartools.dli.DliException

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

Examples of org.mizartools.dli.DliException

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

Examples of org.mizartools.dli.DliException

378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
        case J :
          if (symbolNr > vocabularyItem.nrG) symbolNr = symbolNr - vocabularyItem.nrG;
          else aid = vocabularyItem.articleId;
          break;
        default :
          throw new DliException();
        }
        if (aid != null) break;
      }
    }
    if (aid == null) aid = pattern.getAid();
    Symbols symbols = VocabularyFile.getSymbols(aid);
    SymbolId symbolId = null;
    SymbolType symbolType = null;
    ArticleId articleId = new ArticleId(aid);
    String token = null;
    org.mizartools.system.xml.Format.Kind kind = pattern.getFormat().getKind();
    switch (kind){
    case O :
      symbolType = SymbolType.vocO;
      token = symbols.getSymbolO(symbolNr);
      break;
    case R :
      symbolType = SymbolType.vocR;
      token = symbols.getSymbolR(symbolNr);
      break;
    case V :
      symbolType = SymbolType.vocV;
      token = symbols.getSymbolV(symbolNr);
      break;
    case M :
      symbolType = SymbolType.vocM;
      token = symbols.getSymbolM(symbolNr);
      break;
    case K :
      symbolType = SymbolType.vocK;
      token = symbols.getSymbolK(symbolNr);
      break;
    case L :
      symbolType = SymbolType.vocG;
      token = symbols.getSymbolG(symbolNr);
      break;
    case G :
      symbolType = SymbolType.vocG;
      token = symbols.getSymbolG(symbolNr);
      break;
    case U :
      symbolType = SymbolType.vocU;
      token = symbols.getSymbolU(symbolNr);
      break;
    case J :
      symbolType = SymbolType.vocG;
      token = symbols.getSymbolG(symbolNr);
      break;
    default :
      throw new DliException();
    }
    symbolId = new SymbolId(articleId, symbolType, token, symbolNr);
    return symbolId;
  }
View Full Code Here

Examples of org.mizartools.dli.DliException

539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
      LinkedList<Term> termList = new LinkedList<Term>();
      for (org.mizartools.system.xml.Term term1 : func.getTermList()) {
        termList.add(getTerm(abstractSignature, term1, vid));
      }
      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) {
      termDli = new Num(((org.mizartools.system.xml.Num)term).getNr());
    } else if (term instanceof org.mizartools.system.xml.Fraenkel) {
      org.mizartools.system.xml.Fraenkel fraenkel = (org.mizartools.system.xml.Fraenkel)term;
      LinkedList<Var> varList = new LinkedList<Var>();
      VariableId vid2 = new VariableId();
      vid2.setId(vid.getId());
      for (org.mizartools.system.xml.Typ typ : fraenkel.getTypList()) {
        vid2.increment();
        Variable variable = new Variable(vid2.getId());
        Type type = getType(abstractSignature, typ);
        varList.add(new Var(variable, type));
      }
      Term term1 = getTerm(abstractSignature, fraenkel.getTerm(), vid2);
      termDli = new Fraenkel(varList, term1, getFormula(abstractSignature, fraenkel.getFormula(), vid2));
    } else throw new DliException();
    return termDli;
  }
View Full Code Here

Examples of org.mizartools.dli.DliException

573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
      org.mizartools.system.xml.Func.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 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
TOP
Copyright © 2018 www.massapi.com. 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.