// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 Check(NFSC503_4_3){ KS } KS{ Valve myValve1{ isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE } Valve myValve2{ isObjectProperty(Valve.isCheckValve) = TRUE } isInstalled(myValve1, HookingUpSprinklerSystem) = TRUE isInstalled(myValve2, HookingUpSprinklerSystem) = TRUE getResult(NFSC503_4_3_1) = TRUE getResult(NFSC503_4_3_2) = TRUE
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 1호 Check(NFSC503_4_3_1){ IF CS THEN KS } CS{ Head myHead{ getObjectProperty(Head.openAndCloseType) = "EnclosedType" } getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem" } KS{ Port myPort{ getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem" getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" } Valve myValve1{ isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE } Valve myValve2{ isObjectProperty(Valve.isCheckValve) = TRUE } isInstalledInOrder(myPort, myValve1, myValve2) = TRUE }
// 연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 2호 Check(NFSC503_4_3_2){ IF CS THEN KS } CS{ Head myHead{ getObjectProperty(Head.openAndCloseType) = "OpenType" } getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem" } KS{ Port myPort{ getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem" getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" } Valve myValve1{ isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE } isInstalledInOrder(myPort, myValve1) = TRUE }