Examples of PredicateNotation

Examples of org.mizartools.dli.PredicateNotation

318
319
320
321
322
323
324
325
326
327
328
329
330
331
      AggregateNotation aggregateNotation = (AggregateNotation)itemDefinition;
      SymbolId symbolId = aggregateNotation.getSymbolId();
      SymbolId symbolIdNew = new SymbolId(articleId, symbolId.getSymbolType(), symbolId.getToken(), 1);
      itemDefinition = new AggregateNotation(symbolIdNew, aggregateNotation.getLoci(), aggregateNotation.getFormat(), aggregateNotation.getVisible(), aggregateNotation.getConstructor(), aggregateNotation.getSynonym());
    } else if (itemDefinition instanceof org.mizartools.dli.PredicateNotation) {
      PredicateNotation predicateNotation = (PredicateNotation)itemDefinition;
      SymbolId symbolId = predicateNotation.getSymbolId();
      SymbolId symbolIdNew = new SymbolId(articleId, symbolId.getSymbolType(), symbolId.getToken(), 1);
      itemDefinition = new PredicateNotation(symbolIdNew, predicateNotation.getLoci(), predicateNotation.getFormat(), predicateNotation.getVisible(), predicateNotation.getConstructor(), predicateNotation.getAntonym(), predicateNotation.getSynonym());
    } else if (itemDefinition instanceof org.mizartools.dli.ModeNotation) {
      ModeNotation modeNotation = (ModeNotation)itemDefinition;
      SymbolId symbolId = modeNotation.getSymbolId();
      SymbolId symbolIdNew = new SymbolId(articleId, symbolId.getSymbolType(), symbolId.getToken(), 1);
      itemDefinition = new ModeNotation(symbolIdNew, modeNotation.getLoci(), modeNotation.getFormat(), modeNotation.getVisible(), modeNotation.getConstructor(), modeNotation.getAbbreviation(), modeNotation.getSynonym());
View Full Code Here

Examples of org.mizartools.dli.PredicateNotation

176
177
178
179
180
181
182
183
184
185
186
      break;
    case R :
      if (pattern.getAntonymic() != null)  antonym = new Antonym();
      if (pattern.getRedefnr() != null) synonym = new Synonym();
      if (antonym != null && synonym != null) synonym = null;
      itemDefinition = new PredicateNotation(symbolId1, loci, format, visible, constructor, antonym, synonym);
      itemType = ItemType.prednot;
      break;
    case K :
      if (pattern.getRedefnr() != null) synonym = new Synonym();
      SymbolId symbolId2 = Adapter.getSymbolId2(pattern);
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.