Package org.mizartools.dli

Examples of org.mizartools.dli.Type

108
109
110
111
112
113
114
115
116
117
118
  static Prefices getPrefices(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      LinkedList<org.mizartools.system.xml.Typ> typList) throws DliException {
    LinkedList<Type> typeList = new LinkedList<Type>();
    for (org.mizartools.system.xml.Typ typ : typList) {
      Type type = getType(abstractSignature, typ);
      typeList.add(type);
    }
    Prefices prefices = new Prefices(typeList);
    return prefices;
  }
View Full Code Here
137
138
139
140
141
142
143
144
145
    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
148
149
150
151
152
153
154
155
      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
173
174
175
176
177
178
179
180
181
182
    LinkedList<Locus> locusList = new LinkedList<Locus>();
    int nr = 0;
    for (org.mizartools.system.xml.Typ typ : argTypes.getTypList()) {
      nr++;
      LocusVar locusVar = new LocusVar(nr);
      Type type = getType(abstractSignature, typ);
      locusList.add(new Locus(locusVar, type));
    }
    return locusList;
  }
View Full Code Here
297
298
299
300
301
302
303
304
305
  static Abbreviation getAbbreviation(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Expansion expansion) throws DliException {
    if (expansion == null) return null;
    Type type = getType(abstractSignature, expansion.getTyp());
    Abbreviation abbreviation = new Abbreviation(type);
    return abbreviation;
  }
View Full Code Here
557
558
559
560
561
562
563
564
565
566
567
      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();
View Full Code Here
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
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
      if (vid1 == null) {
        vid.increment();
        vid1 = vid.getId();
      }
      Variable variable = new Variable(vid1);
      Type type = getType(abstractSignature, ((org.mizartools.system.xml.For) formula).getTyp());
      VariableId vid2 = new VariableId();
      vid2.setId(vid.getId());
      Formula formula1 = getFormula(abstractSignature, ((org.mizartools.system.xml.For) formula).getFormula(), vid2);
      formulaDli = new For(variable, type, formula1);
    } else if (formula instanceof org.mizartools.system.xml.And){
        LinkedList<Formula> formulaList = new LinkedList<Formula>();
      for (org.mizartools.system.xml.Formula formula1 : ((org.mizartools.system.xml.And) formula).getFormulaList()) {
        VariableId vid2 = new VariableId();
        vid2.setId(vid.getId());
        formulaList.add(getFormula(abstractSignature, formula1, vid2));
      }
      formulaDli = new And(formulaList);
    } else if (formula instanceof org.mizartools.system.xml.Not){
      formulaDli = new Not(getFormula(abstractSignature, ((org.mizartools.system.xml.Not) formula).getFormula(), vid));
    } else if (formula instanceof org.mizartools.system.xml.Pred){
      org.mizartools.system.xml.Pred pred = (org.mizartools.system.xml.Pred) formula;
      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();
View Full Code Here
710
711
712
713
714
715
716
717
718
719
720
      LinkedList<org.mizartools.system.xml.Typ> typList) throws DliException {
      LinkedList<Type> typeList = new LinkedList<Type>();
//    int nr = 0;
    for (org.mizartools.system.xml.Typ typ : typList) {
//      nr++;
      Type type = getType(abstractSignature, typ);
      typeList.add(type);
    }
    Loci loci = new Loci(typeList);
    return loci;
  }
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
    ArticleId articleId = new ArticleId(constructor.getAid());
    ItemType itemType = null;
    ItemDefinition itemDefinition = null;
    LinkedList<Locus> locusList = Adapter.getLocusList(abstractSignature, constructor.getArgTypes());
    Properties properties = Adapter.getProperties(constructor.getProperties());
    Type type = null;
    Redefinition redefinition = Adapter.getRedefinition(abstractSignature, constructor);
    switch (constructor.getKind()) {
    case M :
      type = Adapter.getType(abstractSignature, constructor.getTypList().getFirst());
      itemDefinition = new Mode(locusList, type, properties, redefinition);
View Full Code Here
248
249
250
251
252
253
254
255
256
257
258
      org.mizartools.system.xml.CCluster cCluster)
    throws DliException {
    ArticleId articleId = new ArticleId(cCluster.getAid());
    ItemDefinition itemDefinition = null;
    Loci loci = Adapter.getLoci(abstractSignature, cCluster.getArgTypes());
    Type type = null;
    if (cCluster.getTyp() != null) type = Adapter.getType(abstractSignature, cCluster.getTyp());
    LinkedList<org.mizartools.system.xml.Cluster> cluster1List = new LinkedList<org.mizartools.system.xml.Cluster>();
    if (cCluster.getCluster1() != null) cluster1List.add(cCluster.getCluster1());
    Antecedent antecedent = new Antecedent(Adapter.getAdjectiveList(abstractSignature, cluster1List));
    LinkedList<org.mizartools.system.xml.Cluster> clusterList2 = new LinkedList<org.mizartools.system.xml.Cluster>();
View Full Code Here
TOP

Related Classes of org.mizartools.dli.Type

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