Class ContractVerifierExtension.PublishStubsToScm

  • All Implemented Interfaces:
    java.io.Serializable
    Enclosing class:
    ContractVerifierExtension

    public static class ContractVerifierExtension.PublishStubsToScm
    extends java.lang.Object
    implements java.io.Serializable
    See Also:
    Serialized Form