Examples of ArticleId

Examples of org.mizartools.dli.ArticleId

575
576
577
578
579
580
581
582
583
584
585
    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;
View Full Code Here

Examples of org.mizartools.dli.ArticleId

659
660
661
662
663
664
665
666
667
668
669
    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();
View Full Code Here

Examples of org.mizartools.dli.ArticleId

690
691
692
693
694
695
696
697
698
699
700
    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;
View Full Code Here

Examples of org.mizartools.dli.ArticleId

99
100
101
102
103
104
105
106
107
108
109
  public static DecodedLibraryItem getItem(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Constructor constructor)
  throws DliException {
    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;
View Full Code Here

Examples of org.mizartools.dli.ArticleId

154
155
156
157
158
159
160
161
162
163
164
  public static DecodedLibraryItem getItem(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Pattern pattern)
    throws DliException {
    ArticleId articleId = new ArticleId(pattern.getAid());
    ItemType itemType = null;
    ItemDefinition itemDefinition = null;
    SymbolId symbolId1 = Adapter.getSymbolId1(pattern);
    Loci loci = Adapter.getLoci(abstractSignature, pattern.getArgTypes());
    Format format = Adapter.getFormat(pattern.getFormat());
View Full Code Here

Examples of org.mizartools.dli.ArticleId

223
224
225
226
227
228
229
230
231
232
233
  public static DecodedLibraryItem getItem(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Definiens definiens,
      int relativeNr)
  throws DliException {
    ArticleId articleId = new ArticleId(definiens.getAid());
    ItemDefinition itemDefinition = null;
    Definiendum definiendum = new Definiendum(Adapter.getItemId(abstractSignature, definiens.getConstrkind(), definiens.getConstrnr()));
    Loci loci = Adapter.getLoci(abstractSignature, definiens.getTypList());
    Visible visible = Adapter.getVisible(definiens.getEssentials());
    Assumptions assumptions = null;
View Full Code Here

Examples of org.mizartools.dli.ArticleId

245
246
247
248
249
250
251
252
253
254
255
  private static DecodedLibraryItem getItemC(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      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>();
View Full Code Here

Examples of org.mizartools.dli.ArticleId

267
268
269
270
271
272
273
274
275
276
277
  public static DecodedLibraryItem getItemF(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.FCluster fCluster)
    throws DliException {
    ArticleId articleId = new ArticleId(fCluster.getAid());
    Loci loci = Adapter.getLoci(abstractSignature, fCluster.getArgTypes());
    Term term = Adapter.getTerm(abstractSignature, fCluster.getTerm(), new VariableId());
    Type type = null;
    if (fCluster.getTyp() != null) type = Adapter.getType(abstractSignature, fCluster.getTyp());
    LinkedList<org.mizartools.system.xml.Cluster> clusterList = new LinkedList<org.mizartools.system.xml.Cluster>();
View Full Code Here

Examples of org.mizartools.dli.ArticleId

287
288
289
290
291
292
293
294
295
296
297
  public static DecodedLibraryItem getItemR(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.RCluster rCluster)
  throws DliException {
    ArticleId articleId = new ArticleId(rCluster.getAid());
    Loci loci = Adapter.getLoci(abstractSignature, rCluster.getArgTypes());
    Type type = Adapter.getType(abstractSignature, rCluster.getTyp());
    LinkedList<org.mizartools.system.xml.Cluster> clusterList = new LinkedList<org.mizartools.system.xml.Cluster>();
    if (rCluster.getCluster1() != null) clusterList.add(rCluster.getCluster1());
    if (rCluster.getCluster2() != null) clusterList.add(rCluster.getCluster2());
View Full Code Here

Examples of org.mizartools.dli.ArticleId

317
318
319
320
321
322
323
324
325
326
327
  }

  public static DecodedLibraryItem getItem(
      org.mizartools.system.utility.AbstractSignature abstractSignature,
      org.mizartools.system.xml.Identify identify) throws DliException {
    ArticleId articleId = new ArticleId(identify.getAid());
    Loci loci = Adapter.getLoci(abstractSignature, identify.getTypList());
      LinkedList<Argeq> argeqList = new LinkedList<Argeq>();
      for (org.mizartools.system.xml.Pair pair : identify.getEqArgs().getPairList()) {
        Argeq argeq = new Argeq(pair.getX(), pair.getY());
        argeqList.add(argeq);
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.