Examples of org.mizartools.dli.PredicateNotation

      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());

      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);

Examples of org.mizartools.dli.PredicateNotation

Related Classes of org.mizartools.dli.PredicateNotation