Juliano Cardoso / circusRefine

CRulesMessages_en_UK.properties 2.82 KB
edit raw blame history 
  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
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.\nNo 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