Interface Signature

All Superinterfaces:
Cloneable
All Known Implementing Classes:
ActionSignature, BpmnSignature, DlSignature, DualSetSignature, DungSignature, FolSignature, PlSignature, QuadrupleSetSignature, SetAfSignature, SingleSetSignature, TripleSetSignature

public interface Signature extends Cloneable
A signatures lists the atomic language structures for some language. It is represented by a (multi-)set of formulas.
Author:
Matthias Thimm, Anna Gessler
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    add​(Object obj)
    Adds the given formula to this signature.
    void
    add​(Object... objects)
    Adds the given formulas to the signature.
    void
    addAll​(Collection<?> c)
    Adds all elements of this collection to this signature.
    void
    Adds the elements of the given signature to this signature.
    void
    Removes all elements of this signature.
    clones signature
    boolean
    equals​(Object obj)
     
    int
     
    boolean
    Returns true if this signature is empty.
    boolean
    Checks whether this signature has common elements with the given signature, i.e.
    boolean
    Checks whether this signature is a sub-signature of the given signature, i.e.
    void
    remove​(Object obj)
    Removes the given formula from this signature, if it is present (optional operation).
    void
    Removes all of this signature elements that are also contained in the specified collection (optional operation).
     
  • Method Details

    • isSubSignature

      boolean isSubSignature(Signature other)
      Checks whether this signature is a sub-signature of the given signature, i.e. whether each logical expression expressible with this signature is also expressible with the given signature.
      Parameters:
      other - a signature.
      Returns:
      "true" iff this signature is a sub-signature of the given one.
    • isOverlappingSignature

      boolean isOverlappingSignature(Signature other)
      Checks whether this signature has common elements with the given signature, i.e. whether there are logical expressions expressible with this signature that are also expressible with the given signature.
      Parameters:
      other - a signature.
      Returns:
      "true" iff this signature is overlapping with the given one.
    • addSignature

      void addSignature(Signature other)
      Adds the elements of the given signature to this signature.
      Parameters:
      other - a signature.
    • hashCode

      int hashCode()
      Overrides:
      hashCode in class Object
    • toString

      String toString()
      Overrides:
      toString in class Object
    • equals

      boolean equals(Object obj)
      Overrides:
      equals in class Object
    • add

      void add(Object obj)
      Adds the given formula to this signature.
      Parameters:
      obj - some object
    • addAll

      void addAll(Collection<?> c)
      Adds all elements of this collection to this signature.
      Parameters:
      c - a collection
    • add

      void add(Object... objects)
      Adds the given formulas to the signature.
      Parameters:
      objects - some objects to be added
    • isEmpty

      boolean isEmpty()
      Returns true if this signature is empty.
      Returns:
      true if this signature is empty.
    • remove

      void remove(Object obj)
      Removes the given formula from this signature, if it is present (optional operation).
      Parameters:
      obj - some object
    • removeAll

      void removeAll(Collection<?> c)
      Removes all of this signature elements that are also contained in the specified collection (optional operation). After this call returns, this signature will contain no elements in common with the specified collection.
      Parameters:
      c - a collection of objects
    • clear

      void clear()
      Removes all elements of this signature. After this call returns, this signature will contain no elements.
    • clone

      Signature clone()
      clones signature
      Returns:
      clone