Class InterfaceInContract


  • public final class InterfaceInContract
    extends Object
    This class represents the association between a specific Interface and a certain contract.
    • Field Detail

      • interfaceID

        public InterfaceID interfaceID
        The id of the interface this interface in contract refers to.
      • accessibleImplementations

        public Map<OperationID,​OpImplementations> accessibleImplementations
        The accessible implementations of every operation of this interface in the contract.
    • Constructor Detail

      • InterfaceInContract

        public InterfaceInContract()
        Basic constructor for testing purposes
      • InterfaceInContract

        public InterfaceInContract​(Interface newiface,
                                   Set<OpImplementations> newimplementationsSpecPerOperation)
        Constructor to set the accessible methods.
        Parameters:
        newiface - the interface in contract
        newimplementationsSpecPerOperation - Specifications of implementations
    • Method Detail

      • getInterfaceID

        public InterfaceID getInterfaceID()
        Returns:
        the interfaceID
      • setInterfaceID

        public void setInterfaceID​(InterfaceID idOfTheInterface)
        Parameters:
        idOfTheInterface - the interfaceID to set
      • setAccessibleImplementations

        public void setAccessibleImplementations​(Map<OperationID,​OpImplementations> accessibleImplementationsFromThisInterrfaceInContract)
        Parameters:
        accessibleImplementationsFromThisInterrfaceInContract - the accessibleImplementations to set
      • getImplementationsSpecPerOperation

        public Set<OpImplementations> getImplementationsSpecPerOperation()
        Get the InterfaceInContract::implementationsSpecPerOperation
        Returns:
        the implementationsSpecPerOperation
      • setImplementationsSpecPerOperation

        public void setImplementationsSpecPerOperation​(Set<OpImplementations> newimplementationsSpecPerOperation)
        Set the InterfaceInContract::implementationsSpecPerOperation
        Parameters:
        newimplementationsSpecPerOperation - the implementationsSpecPerOperation to set
      • getIface

        public Interface getIface()
        Get iface
        Returns:
        the iface
      • setIface

        public void setIface​(Interface newiface)
        Set iface
        Parameters:
        newiface - the iface to set
      • equals

        public boolean equals​(Object ifaceInContract)
        Overrides:
        equals in class Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object
      • getId

        public UUID getId()
        get id
        Returns:
        id
      • setId

        public void setId​(UUID newid)
        Set id
        Parameters:
        newid - the id