From e17e856ed6f75d3368eec5060b0cba213d32d747 Mon Sep 17 00:00:00 2001 From: Daniel Date: Fri, 3 May 2024 11:13:52 +0300 Subject: [PATCH] it now starts a server --- src/main/resources/TestProgram.txt | 12 ++++++------ winx-serve/src/Data.js | 12 ++++++------ 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/src/main/resources/TestProgram.txt b/src/main/resources/TestProgram.txt index 8a12464..a4f9b7d 100644 --- a/src/main/resources/TestProgram.txt +++ b/src/main/resources/TestProgram.txt @@ -1,7 +1,7 @@ package HospitalManagementSystem { critical interface PatientRecords { - critical public FetchPatientDetails(FLOAT patientId) { + critical protected FetchPatientDetails(FLOAT patientId) { @ExecTime : "3s"; @MaxReturnVals : "1"; @DataFormat : "ID: %patientId,DOB: %dob"; @@ -9,7 +9,7 @@ package HospitalManagementSystem { return "PatientDetails" details; } - critical public UpdatePatientRecord(FLOAT patientId, STRING updates) { + critical private UpdatePatientRecord(FLOAT patientId, STRING updates) { @ExecTime : "3s"; @DataIntegrity : "High"; @DataConcurrency : "Serializable"; @@ -25,7 +25,7 @@ package HospitalManagementSystem { return "AppointmentConfirmation" confirmation; } - optional public CancelAppointment(FLOAT appointmentId) { + optional private CancelAppointment(FLOAT appointmentId) { @ExecTime : "2s"; @CancellationFee : "NoChargeWithin24h"; return "CancellationConfirmation" status; @@ -33,7 +33,7 @@ package HospitalManagementSystem { } critical interface StaffManagement { - critical public FetchStaffDetails(FLOAT staffId) { + critical protected FetchStaffDetails(FLOAT staffId) { @ExecTime : "4s"; @MaxReturnVals : "1"; @DataFormat : "Staff ID: %staffId, Role: %role"; @@ -48,7 +48,7 @@ package HospitalManagementSystem { return "UpdateConfirmation" status; } - optional public AssignStaff(FLOAT staffId, STRING departmentId) { + optional private AssignStaff(FLOAT staffId, STRING departmentId) { @ExecTime : "3s"; @AuditTrail : "Enabled"; @DataLogging : "Detailed"; @@ -118,7 +118,7 @@ package HospitalManagementSystem { return "UpdateConfirmation" status; } - optional public AssignStaff(FLOAT staffId, STRING departmentId) implements StaffManagement { + optional private AssignStaff(FLOAT staffId, STRING departmentId) implements StaffManagement { @ExecTime : "3s"; @PermissionCheck : "DepartmentHeadApproval"; @RealTimeUpdate : "Required"; diff --git a/winx-serve/src/Data.js b/winx-serve/src/Data.js index e270d75..b4e5d4d 100644 --- a/winx-serve/src/Data.js +++ b/winx-serve/src/Data.js @@ -4,7 +4,7 @@ export const jsonData = [ { "name" : "PatientRecords", "functions" : [ { "name" : "FetchPatientDetails", - "access_modifier" : "public", + "access_modifier" : "protected", "implemented_interface" : "none", "importance" : "critical", "inputTypes" : [ { @@ -30,7 +30,7 @@ export const jsonData = [ { } ] }, { "name" : "UpdatePatientRecord", - "access_modifier" : "public", + "access_modifier" : "private", "implemented_interface" : "none", "importance" : "critical", "inputTypes" : [ { @@ -88,7 +88,7 @@ export const jsonData = [ { } ] }, { "name" : "CancelAppointment", - "access_modifier" : "public", + "access_modifier" : "private", "implemented_interface" : "none", "importance" : "optional", "inputTypes" : [ { @@ -111,7 +111,7 @@ export const jsonData = [ { "name" : "StaffManagement", "functions" : [ { "name" : "FetchStaffDetails", - "access_modifier" : "public", + "access_modifier" : "protected", "implemented_interface" : "none", "importance" : "critical", "inputTypes" : [ { @@ -163,7 +163,7 @@ export const jsonData = [ { } ] }, { "name" : "AssignStaff", - "access_modifier" : "public", + "access_modifier" : "private", "implemented_interface" : "none", "importance" : "optional", "inputTypes" : [ { @@ -380,7 +380,7 @@ export const jsonData = [ { } ] }, { "name" : "AssignStaff", - "access_modifier" : "public", + "access_modifier" : "private", "implemented_interface" : "StaffManagement", "importance" : "optional", "inputTypes" : [ {