Diagnosis_planner Class Reference

List of all members.

Public Member Functions
void	run ()
Static Public Member Functions
static void	main (String[] args)
Protected Attributes
String	header
InetAddress	ip
DataOutputStream	outputStream
int	port
Package Functions
void	closeSocket (ServerSocket sock)
	Diagnosis_planner (String domain_file)
boolean	load_domain_file (String domain_file)
boolean	load_problem_file (String problem_file)
String	processResult ()
void	send_response (int msg_code, String msg)
Package Attributes
String	body
String	problem_file_path
Private Attributes
PDDLObject	_domain
Properties	_options
Parser	_parser
PDDLObject	_pb
PDDLObject	_problem
final int	CODE_ERROR_COMMAND = 200
final int	CODE_ERROR_FILENAME = 300
final int	CODE_ERROR_RESULT = 500
final int	CODE_EXIT = 600
final int	CODE_OK = 100
final int	CODE_RESULT = 400
final String	COMMAND_DOMAIN = "DOMAIN_FILE"
final String	COMMAND_EXIT = "EXIT"
final String	COMMAND_PROBLEM = "PROBLEM_FILE"
final String	COMMAND_RESULT = "RESULT"
final String	COMMAND_UPLOAD = "UPLOAD"
String	domain_file
final String	MSG_ERROR_RESULT = "Nil result, domain and/or problem file error"
final String	MSG_EXIT = "Server shutdown"
final String	MSG_ILLEGAL_FILENAME = "File not exists"
final String	MSG_ILLEGAL_FIRST_KEYWORD = "Illigal first command word"
final String	MSG_ILLEGAL_SECOND_KEYWORD = "Illigal second command word"
final String	MSG_OK = "OK"

---

Detailed Description

Definition at line 43 of file Diagnosis_planner.java.

---

Constructor & Destructor Documentation

Diagnosis_planner.Diagnosis_planner

(

String

domain_file

)

[inline, package]

Definition at line 74 of file Diagnosis_planner.java.

---

Member Function Documentation

void Diagnosis_planner.closeSocket

(

ServerSocket

sock

)

[inline, package]

Definition at line 249 of file Diagnosis_planner.java.

boolean Diagnosis_planner.load_domain_file

(

String

domain_file

)

[inline, package]

Definition at line 188 of file Diagnosis_planner.java.

boolean Diagnosis_planner.load_problem_file

(

String

problem_file

)

[inline, package]

Definition at line 198 of file Diagnosis_planner.java.

static void Diagnosis_planner.main

(

String[]

args

)

[inline, static]

Definition at line 256 of file Diagnosis_planner.java.

String Diagnosis_planner.processResult

(

)

[inline, package]

Definition at line 210 of file Diagnosis_planner.java.

void Diagnosis_planner.run

(

)

[inline]

Definition at line 81 of file Diagnosis_planner.java.

void Diagnosis_planner.send_response	(	int	msg_code,
		String	msg
	)		[inline, package]

Definition at line 238 of file Diagnosis_planner.java.

---

Member Data Documentation

PDDLObject Diagnosis_planner._domain [private]

Definition at line 66 of file Diagnosis_planner.java.

Properties Diagnosis_planner._options [private]

Definition at line 64 of file Diagnosis_planner.java.

Parser Diagnosis_planner._parser [private]

Definition at line 65 of file Diagnosis_planner.java.

PDDLObject Diagnosis_planner._pb [private]

Definition at line 68 of file Diagnosis_planner.java.

PDDLObject Diagnosis_planner._problem [private]

Definition at line 67 of file Diagnosis_planner.java.

String Diagnosis_planner.body [package]

Definition at line 71 of file Diagnosis_planner.java.

final int Diagnosis_planner.CODE_ERROR_COMMAND = 200 [private]

Definition at line 45 of file Diagnosis_planner.java.

final int Diagnosis_planner.CODE_ERROR_FILENAME = 300 [private]

Definition at line 46 of file Diagnosis_planner.java.

final int Diagnosis_planner.CODE_ERROR_RESULT = 500 [private]

Definition at line 48 of file Diagnosis_planner.java.

final int Diagnosis_planner.CODE_EXIT = 600 [private]

Definition at line 49 of file Diagnosis_planner.java.

final int Diagnosis_planner.CODE_OK = 100 [private]

Definition at line 44 of file Diagnosis_planner.java.

final int Diagnosis_planner.CODE_RESULT = 400 [private]

Definition at line 47 of file Diagnosis_planner.java.

final String Diagnosis_planner.COMMAND_DOMAIN = "DOMAIN_FILE" [private]

Definition at line 59 of file Diagnosis_planner.java.

final String Diagnosis_planner.COMMAND_EXIT = "EXIT" [private]

Definition at line 62 of file Diagnosis_planner.java.

final String Diagnosis_planner.COMMAND_PROBLEM = "PROBLEM_FILE" [private]

Definition at line 60 of file Diagnosis_planner.java.

final String Diagnosis_planner.COMMAND_RESULT = "RESULT" [private]

Definition at line 61 of file Diagnosis_planner.java.

final String Diagnosis_planner.COMMAND_UPLOAD = "UPLOAD" [private]

Definition at line 58 of file Diagnosis_planner.java.

String Diagnosis_planner.domain_file [private]

Definition at line 73 of file Diagnosis_planner.java.

String Diagnosis_planner.header [protected]

Definition at line 71 of file Diagnosis_planner.java.

InetAddress Diagnosis_planner.ip [protected]

Definition at line 69 of file Diagnosis_planner.java.

final String Diagnosis_planner.MSG_ERROR_RESULT = "Nil result, domain and/or problem file error" [private]

Definition at line 54 of file Diagnosis_planner.java.

final String Diagnosis_planner.MSG_EXIT = "Server shutdown" [private]

Definition at line 56 of file Diagnosis_planner.java.

final String Diagnosis_planner.MSG_ILLEGAL_FILENAME = "File not exists" [private]

Definition at line 55 of file Diagnosis_planner.java.

final String Diagnosis_planner.MSG_ILLEGAL_FIRST_KEYWORD = "Illigal first command word" [private]

Definition at line 52 of file Diagnosis_planner.java.

final String Diagnosis_planner.MSG_ILLEGAL_SECOND_KEYWORD = "Illigal second command word" [private]

Definition at line 53 of file Diagnosis_planner.java.

final String Diagnosis_planner.MSG_OK = "OK" [private]

Definition at line 51 of file Diagnosis_planner.java.

DataOutputStream Diagnosis_planner.outputStream [protected]

Definition at line 72 of file Diagnosis_planner.java.

int Diagnosis_planner.port [protected]

Definition at line 70 of file Diagnosis_planner.java.

String Diagnosis_planner.problem_file_path [package]

Definition at line 73 of file Diagnosis_planner.java.

---

The documentation for this class was generated from the following file:

• Diagnosis_planner.java