byte/winx
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

it now starts a server

Browse Source
This commit is contained in:
Daniel
2024-05-03 11:13:52 +03:00
parent c876c9b9cd
commit e17e856ed6
2 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/main/resources/TestProgram.txt
View File

@@ -1,7 +1,7 @@
package HospitalManagementSystem { package HospitalManagementSystem {
critical interface PatientRecords { critical interface PatientRecords {
critical public FetchPatientDetails(FLOAT patientId) { critical protected FetchPatientDetails(FLOAT patientId) {
@ExecTime : "3s"; @ExecTime : "3s";
@MaxReturnVals : "1"; @MaxReturnVals : "1";
@DataFormat : "ID: %patientId,DOB: %dob"; @DataFormat : "ID: %patientId,DOB: %dob";
@@ -9,7 +9,7 @@ package HospitalManagementSystem {
return "PatientDetails" details; return "PatientDetails" details;
} }
critical public UpdatePatientRecord(FLOAT patientId, STRING updates) { critical private UpdatePatientRecord(FLOAT patientId, STRING updates) {
@ExecTime : "3s"; @ExecTime : "3s";
@DataIntegrity : "High"; @DataIntegrity : "High";
@DataConcurrency : "Serializable"; @DataConcurrency : "Serializable";
@@ -25,7 +25,7 @@ package HospitalManagementSystem {
return "AppointmentConfirmation" confirmation; return "AppointmentConfirmation" confirmation;
} }
optional public CancelAppointment(FLOAT appointmentId) { optional private CancelAppointment(FLOAT appointmentId) {
@ExecTime : "2s"; @ExecTime : "2s";
@CancellationFee : "NoChargeWithin24h"; @CancellationFee : "NoChargeWithin24h";
return "CancellationConfirmation" status; return "CancellationConfirmation" status;
@@ -33,7 +33,7 @@ package HospitalManagementSystem {
} }
critical interface StaffManagement { critical interface StaffManagement {
critical public FetchStaffDetails(FLOAT staffId) { critical protected FetchStaffDetails(FLOAT staffId) {
@ExecTime : "4s"; @ExecTime : "4s";
@MaxReturnVals : "1"; @MaxReturnVals : "1";
@DataFormat : "Staff ID: %staffId, Role: %role"; @DataFormat : "Staff ID: %staffId, Role: %role";
@@ -48,7 +48,7 @@ package HospitalManagementSystem {
return "UpdateConfirmation" status; return "UpdateConfirmation" status;
} }
optional public AssignStaff(FLOAT staffId, STRING departmentId) { optional private AssignStaff(FLOAT staffId, STRING departmentId) {
@ExecTime : "3s"; @ExecTime : "3s";
@AuditTrail : "Enabled"; @AuditTrail : "Enabled";
@DataLogging : "Detailed"; @DataLogging : "Detailed";
@@ -118,7 +118,7 @@ package HospitalManagementSystem {
return "UpdateConfirmation" status; return "UpdateConfirmation" status;
} }
optional public AssignStaff(FLOAT staffId, STRING departmentId) implements StaffManagement { optional private AssignStaff(FLOAT staffId, STRING departmentId) implements StaffManagement {
@ExecTime : "3s"; @ExecTime : "3s";
@PermissionCheck : "DepartmentHeadApproval"; @PermissionCheck : "DepartmentHeadApproval";
@RealTimeUpdate : "Required"; @RealTimeUpdate : "Required";

12
winx-serve/src/Data.js
View File

@@ -4,7 +4,7 @@ export const jsonData = [ {
"name" : "PatientRecords", "name" : "PatientRecords",
"functions" : [ { "functions" : [ {
"name" : "FetchPatientDetails", "name" : "FetchPatientDetails",
"access_modifier" : "public", "access_modifier" : "protected",
"implemented_interface" : "none", "implemented_interface" : "none",
"importance" : "critical", "importance" : "critical",
"inputTypes" : [ { "inputTypes" : [ {
@@ -30,7 +30,7 @@ export const jsonData = [ {
} ] } ]
}, { }, {
"name" : "UpdatePatientRecord", "name" : "UpdatePatientRecord",
"access_modifier" : "public", "access_modifier" : "private",
"implemented_interface" : "none", "implemented_interface" : "none",
"importance" : "critical", "importance" : "critical",
"inputTypes" : [ { "inputTypes" : [ {
@@ -88,7 +88,7 @@ export const jsonData = [ {
} ] } ]
}, { }, {
"name" : "CancelAppointment", "name" : "CancelAppointment",
"access_modifier" : "public", "access_modifier" : "private",
"implemented_interface" : "none", "implemented_interface" : "none",
"importance" : "optional", "importance" : "optional",
"inputTypes" : [ { "inputTypes" : [ {
@@ -111,7 +111,7 @@ export const jsonData = [ {
"name" : "StaffManagement", "name" : "StaffManagement",
"functions" : [ { "functions" : [ {
"name" : "FetchStaffDetails", "name" : "FetchStaffDetails",
"access_modifier" : "public", "access_modifier" : "protected",
"implemented_interface" : "none", "implemented_interface" : "none",
"importance" : "critical", "importance" : "critical",
"inputTypes" : [ { "inputTypes" : [ {
@@ -163,7 +163,7 @@ export const jsonData = [ {
} ] } ]
}, { }, {
"name" : "AssignStaff", "name" : "AssignStaff",
"access_modifier" : "public", "access_modifier" : "private",
"implemented_interface" : "none", "implemented_interface" : "none",
"importance" : "optional", "importance" : "optional",
"inputTypes" : [ { "inputTypes" : [ {
@@ -380,7 +380,7 @@ export const jsonData = [ {
} ] } ]
}, { }, {
"name" : "AssignStaff", "name" : "AssignStaff",
"access_modifier" : "public", "access_modifier" : "private",
"implemented_interface" : "StaffManagement", "implemented_interface" : "StaffManagement",
"importance" : "optional", "importance" : "optional",
"inputTypes" : [ { "inputTypes" : [ {