Class Extension

    • Constructor Detail

      • Extension

        public Extension()
        Creates a new empty extension.
      • Extension

        public Extension​(java.util.Collection<? extends Argument> arguments)
        Creates a new extension with the given set of arguments.
        Parameters:
        arguments - a set of arguments
    • Method Detail

      • hashCode

        public int hashCode()
        Specified by:
        hashCode in interface java.util.Collection<Argument>
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Specified by:
        equals in interface java.util.Collection<Argument>
        Overrides:
        equals in class java.lang.Object
      • add

        public boolean add​(Argument arg0)
        Specified by:
        add in interface java.util.Collection<Argument>
      • addAll

        public boolean addAll​(java.util.Collection<? extends Argument> arg0)
        Specified by:
        addAll in interface java.util.Collection<Argument>
      • clear

        public void clear()
        Specified by:
        clear in interface java.util.Collection<Argument>
      • contains

        public boolean contains​(java.lang.Object arg0)
        Specified by:
        contains in interface java.util.Collection<Argument>
      • containsAll

        public boolean containsAll​(java.util.Collection<?> arg0)
        Specified by:
        containsAll in interface java.util.Collection<Argument>
      • isEmpty

        public boolean isEmpty()
        Specified by:
        isEmpty in interface java.util.Collection<Argument>
      • iterator

        public java.util.Iterator<Argument> iterator()
        Specified by:
        iterator in interface java.util.Collection<Argument>
        Specified by:
        iterator in interface java.lang.Iterable<Argument>
      • remove

        public boolean remove​(java.lang.Object arg0)
        Specified by:
        remove in interface java.util.Collection<Argument>
      • removeAll

        public boolean removeAll​(java.util.Collection<?> arg0)
        Specified by:
        removeAll in interface java.util.Collection<Argument>
      • retainAll

        public boolean retainAll​(java.util.Collection<?> arg0)
        Specified by:
        retainAll in interface java.util.Collection<Argument>
      • size

        public int size()
        Specified by:
        size in interface java.util.Collection<Argument>
      • toArray

        public java.lang.Object[] toArray()
        Specified by:
        toArray in interface java.util.Collection<Argument>
      • toArray

        public <T> T[] toArray​(T[] arg0)
        Specified by:
        toArray in interface java.util.Collection<Argument>
      • compareTo

        public int compareTo​(Extension arg0)
        Specified by:
        compareTo in interface java.lang.Comparable<Extension>