Blame view
circus/international/CRulesMessages_en_UK.properties
2.82 KB
8d0dc533f
first
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 |
UnifyDeclListMsg = the lists cannot be unified. XiLawError = Invallid schema for the \Xi Definition application COD0614 = Invallid predicate for the \Xi definition application COD0615 = Invallid declaration list for the \Xi definition application SchemaNameCRulesMsg = Name of the variable declaration schema InvalidProcessCRulesMsg = Invalid Process InvalidVarSchCRulesMsg = Invalid Schema: It does not declare variable UncompatibleVarNumberCRulesMsg = Uncompatible numbers of variables CancelledApplMsg = The law application was cancelled CRefineLawApplError = CRefine Could not apply the law CRefineLawApplErrorCpyRuleInverse = CRefine Could not apply the law. The reference term was not found. CRefineLawApplErrorRecursionUnfold = CRefine couldn not apply the law. No well definied structure of recursion. LawNotValidCRulesMsg = The law is not valid InvallidArgCRulesMsg = There is an invallid argument COD0608 = The argument could not be parsed IOErrorCRulesMsg = An IO error has ocurred ChangeProcessState = Changing State of Process ParsePredErrorCRulesMsg = Unable to parse the predicate ParseExprErrorCRulesMsg = Unable to parse the Expression ParseProcessErrorCRulesMsg = Unable to parse the process ParseProcessParagraphErrorCRulesMsg = No process paragraph was found: unable to parse the process ParseNameErrorCRulesMsg = Unable to parse the Name ParseNameListErrorCRulesMsg = Unable to parse the Name List ParseNameSetErrorCRulesMsg = Unable to parse the Name Set ParseDeclListErrorCRulesMsg = Unable to parse the Declaration List ParseCircusActionErrorCRulesMsg = Unable to parse the Circus Action ParseParagraphListErrorCRulesMsg = Unable to parse the Paragraph List ParseChannelSetErrorCRulesMsg = Unable to parse the Channel Set ParseCommunicationErrorCRulesMsg = Unable to parse the Circus Communication ParseExpressionListCRulesMsg = Unable to parse the Expression List ParseGlobalParagraphCRulesMsg = Unable to parse global paragraph ParseGlobalParagraphNoParagraphFoundCRulesMsg = Unable to parse the global paragraph: no paragraph was found COD0629 = The normalization could not be applied XiSError = Law Application failed - Wrong format Schema - Could not find Theta S DeltaSError = Law Application failed - Wrong format Schema - Could not find Delta S SNotFoundError = Could not find S in the specification AbsStateNotFoundError = Abstract State is not declared in operation AbsStateNotFoundError2 = The Definition of the Abstract State was not found. RetrStateNotFoundError2 = The Definition of the Retrieve Relation was not found. CStateNotFoundError = Abstract State is not declared in operation CStateNotFoundError2 = The Definition of the Concrete State was not found. InvalidDeclListCRulesMsg = Invalid declaration list InvalidDeclarationCRulesMsg = Invalid declaration in the declaration list |