Package org.mizartools.dli

Examples of org.mizartools.dli.Func

194
195
196
197
198
199
200
201
202
203
204
        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());
View Full Code Here
543
544
545
546
547
548
549
550
551
552
553
      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());
View Full Code Here
194
195
196
197
198
199
200
201
202
203
204
        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());
View Full Code Here
543
544
545
546
547
548
549
550
551
552
553
      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());
View Full Code Here
325
326
327
328
329
330
331
332
333
334
335
336
      for (org.mizartools.system.xml.Pair pair : identify.getEqArgs().getPairList()) {
        Argeq argeq = new Argeq(pair.getX(), pair.getY());
        argeqList.add(argeq);
      }
    Argeqs argeqs = new Argeqs(argeqList);
    Func func1 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm1(), new VariableId());
    Func func2 = (Func)Adapter.getTerm(abstractSignature, identify.getTerm2(), new VariableId());
    ItemDefinition itemDefinition = new IdentifyRegistration(loci, func1, func2, argeqs);
    ItemId itemId = new ItemId(articleId, ItemType.idreg, identify.getNr());
    DecodedLibraryItem decodedLibraryItem = new DecodedLibraryItem(itemId, itemDefinition);
    return decodedLibraryItem;
  }
View Full Code Here
TOP

Related Classes of org.mizartools.dli.Func

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