code: public IntegerConstant addInteger(int value)
    {
      IntegerConstant entry = getIntegerByValue(value);
  
      if (entry != null)
        return entry;
  
      entry = new IntegerConstant(this, _entries.size(), value);
  
      addConstant(entry);
  
      return entry;
    }
docs: Adds a integer constant.