GeezerVison is showing github.com — liquid-java-external-libs/SocketRefinements.java at main · liquid-java/liquid-java-external-libs

Expand file tree

SocketRefinements.java

Copy path

More file actions

30 lines (22 loc) · 849 Bytes

Copy path

30 lines (22 loc) · 849 Bytes

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

package repair.regen.classes.socket_error;

import java.net.SocketAddress;

import repair.regen.specification.ExternalRefinementsFor;

import repair.regen.specification.StateRefinement;

import repair.regen.specification.StateSet;

/**

Refinements for the Socket class

@ExternalRefinementsFor("java.net.Socket")

@StateSet({"unconnected", "binded", "connected", "closed"})

public interface SocketRefinements {

@StateRefinement(to="unconnected(this)")

public void Socket();

@StateRefinement(from="unconnected(this)",to="binded(this)")

public void bind(SocketAddress add);

@StateRefinement(from="binded(this)", to="connected(this)")

public void connect(SocketAddress add);

@StateRefinement(from="connected(this)")

public void sendUrgentData(int n);

@StateRefinement(from="!closed(this)", to="closed(this)")

public void close();

}