Examples of StructureNotation

Examples of org.mizartools.dli.StructureNotation

338
339
340
341
342
343
344
345
346
347
348
349
350
351
      SelectorNotation selectorNotation = (SelectorNotation)itemDefinition;
      SymbolId symbolId = selectorNotation.getSymbolId();
      SymbolId symbolIdNew = new SymbolId(articleId, symbolId.getSymbolType(), symbolId.getToken(), 1);
      itemDefinition = new SelectorNotation(symbolIdNew, selectorNotation.getLoci(), selectorNotation.getFormat(), selectorNotation.getVisible(), selectorNotation.getConstructor(), selectorNotation.getSynonym());
    } else if (itemDefinition instanceof org.mizartools.dli.StructureNotation) {
      StructureNotation structureNotation = (StructureNotation)itemDefinition;
      SymbolId symbolId = structureNotation.getSymbolId();
      SymbolId symbolIdNew = new SymbolId(articleId, symbolId.getSymbolType(), symbolId.getToken(), 1);
      itemDefinition = new StructureNotation(symbolIdNew, structureNotation.getLoci(), structureNotation.getFormat(), structureNotation.getVisible(), structureNotation.getConstructor(), structureNotation.getSynonym());
    } else if (itemDefinition instanceof org.mizartools.dli.FunctorNotation) {
      FunctorNotation functorNotation = (FunctorNotation)itemDefinition;
      SymbolId symbolId1 = functorNotation.getSymbolId1();
      SymbolId symbolIdNew1 = new SymbolId(articleId, symbolId1.getSymbolType(), symbolId1.getToken(), 1);
      SymbolId symbolId2 = functorNotation.getSymbolId2();
View Full Code Here

Examples of org.mizartools.dli.StructureNotation

196
197
198
199
200
201
202
203
204
205
206
    case G :
      itemDefinition = new AggregateNotation(symbolId1, loci, format, visible, constructor, synonym);
      itemType = ItemType.aggrnot;
      break;
    case L :
      itemDefinition = new StructureNotation(symbolId1, loci, format, visible, constructor, synonym);
      itemType = ItemType.structnot;
      break;
    case U :
      itemDefinition = new SelectorNotation(symbolId1, loci, format, visible, constructor, synonym);
      itemType = ItemType.selnot;
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.