Remove duplicated attributes

Issue #151 resolved
Niklas Fors created an issue

Remove duplicated attributes:

  • AttrDecl: signature() and attributeSignature()
  • AttrDecl: isParameterized() and isParamAttr()

Comments (3)

  1. Jesper Öqvist

    More duplicates:

    • AttrEq: signature() and attributeSignature()
    • AttrDecl & AttrEq: name() and attributeName()
  2. Jesper Öqvist

    Removed attributeName() and attributeSignature()

    • removed AttrDecl.attributeName() (was duplicate of name())
    • removed AttrEq.attributeName() (was duplicate of name())
    • removed AttrDecl.attributeSignature() (was duplicate of signature())
    • removed AttrEq.attributeSignature() (was duplicate of signature())

    fixes issue #151 (bitbucket)

    → <<cset ce55e645313b>>

  3. Log in to comment