Operation  MessageSender (String p_host, int p_port), in Class MessageSender

Documentation
public static void
main( String [] args )
{
//String studentId = "000000003";
//String studentPin = "1257";
String studentId = "100000006";
String studentPin = "0969";
String process = "TRANSCRIPT"; //"COURSELIST"; //"VERIFY";
String ipAddress = "";
String ipPort = "05200";
try
{
ipAddress = InetAddress.getLocalHost().getHostAddress();
ipAddress = StringTools.padRight( ipAddress, 15, ' ' );
process = StringTools.padRight( process, 10, ' ' );
studentId = StringTools.padRight( studentId, 12, ' ' );
studentPin = StringTools.padRight( studentPin, 15, ' ' );
}
catch (UnknownHostException ex) { ex.printStackTrace(); }
String data = "" +
"000736TCP FEDI00FLACENTSERV0008887000001010 " +
" 000001REQUEST Y\n" +
" 000010PROCESS " + process + "\n" +
" 000016STATEKEYT0001274M0000006\n" +
" 000015IPADDRES" + ipAddress + "\n" +
" 000005PORTNUMB" + ipPort + "\n" +
" 000050RETNDATAWA00, SWWP0F00P0001282 \n" +
" 000030HTMLKEY \n" +
" 000012STUID " + studentId + "\n" +
" 000015PIN/PW " + studentPin + "\n" +
" 000001WAIT N\n" +
" 000005RETNCODE00000\n" +
" 000240RETNMESS \n";
MessageSender sender = new MessageSender( "localhost", 5100 );
sender.send( data );
System.out.println( "[" + new java.util.Date().toString() + "]" );
System.out.println( "Data received ...[" + sender.getDataReceived() + "]" );
System.out.println( "Data sent .......[\n" + sender.getDataSent() + "]" );
System.out.println( "* * * * * * * * * * * * * * * * * * * * * * * * * * *\n" );
}


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
GenerateFullyQualifiedThrows AbstractFalse
StaticFalseFinalFalse
NativeFalseSynchronizedFalse
StrictfpFalseGenerateFullyQualifiedArgument 
GenerateFullyQualifiedReturnFalseReplaceExistingCodeTrue