2023-04-17 01:01:54 +00:00
|
|
|
package dev.toad.msg.build;
|
|
|
|
|
2023-04-20 01:37:42 +00:00
|
|
|
import java.net.URISyntaxException;
|
|
|
|
import java.net.UnknownHostException;
|
2023-04-17 01:01:54 +00:00
|
|
|
import java.net.InetSocketAddress;
|
|
|
|
|
|
|
|
public final class MessageNeeds {
|
|
|
|
|
|
|
|
public interface Destination {
|
2023-04-20 01:37:42 +00:00
|
|
|
MessageNeeds.Type uri(String uri) throws URISyntaxException, UnknownHostException;
|
2023-04-17 01:01:54 +00:00
|
|
|
MessageNeeds.Type addr(InetSocketAddress addr);
|
|
|
|
}
|
|
|
|
|
|
|
|
public interface Type {
|
|
|
|
MessageNeeds.Code type(dev.toad.msg.Type type);
|
|
|
|
}
|
|
|
|
|
|
|
|
public interface Code {
|
|
|
|
Message code(dev.toad.msg.Code code);
|
|
|
|
}
|
|
|
|
}
|