Juliano Cardoso / circusRefine

CRulesMessages_pt_BR.properties 2.58 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
UnifyDeclListMsg = As listas não podem ser unificadas. Possuem nomes iguais.

XiLawError = Esquema inválido para aplicação da definição de \Xi
COD0614 = Predicado inválido para a aplicação da definição de \Xi
COD0615 = Lista de declarações inválida para a aplicação da definição de \Xi
SchemaNameCRulesMsg = Nome do esquema de declarações de variáveis
InvalidProcessCRulesMsg = Processo inválido
InvalidVarSchCRulesMsg = Esquema passado não é válido: não é uma declaração de variável
UncompatibleVarNumberCRulesMsg = Número de variáveis incompatível

CancelledApplMsg = A aplicação da lei foi cancelada

CRefineLawApplError = CRefine não conseguiu aplicar a lei
CRefineLawApplErrorCpyRuleInverse = CRefine não conseguiu aplicar a lei. O termo de referencia nao foi encontrado.
CRefineLawApplErrorRecursionUnfold = CRefine não conseguiu aplicar a lei.\nNão foi encontrado estruturada bem definida de recursão.

LawNotValidCRulesMsg = A lei não é válida
InvallidArgCRulesMsg = Há algum argumento inválido

COD0608 = O argumento não pôde ser parseado
IOErrorCRulesMsg = Ocorreu um erro de E/S
ParsePredErrorCRulesMsg = Não pôde parsear o predicado
ParseExprErrorCRulesMsg = Não pôde parsear a expressão
ParseProcessErrorCRulesMsg = Não pôde parsear o processo
ParseProcessParagraphErrorCRulesMsg = Não pôde parsear o processo: nenhum parágrafo de processo foi encontrado
ParseNameErrorCRulesMsg = Não pôde parsear o nome
ParseNameListErrorCRulesMsg = Não pôde parsear a lista de nomes
ParseNameSetErrorCRulesMsg = Não pôde parsear o conjunto de nomes
ParseDeclListErrorCRulesMsg = Não pôde parsear a lista de declarações
ParseCircusActionErrorCRulesMsg = Não pôde parsear a ação Circus
ParseParagraphListErrorCRulesMsg = Não pôde parsear a lista de parágrafos
ParseChannelSetErrorCRulesMsg = Não pôde parsear o conjunto de canais
ParseCommunicationErrorCRulesMsg = Não pôde parsear a comunicação
ParseExpressionListCRulesMsg = Não pôde parsear a lista de expressões
ParseGlobalParagraphCRulesMsg = Não pôde parsear ao parágrafo global
ParseGlobalParagraphNoParagraphFoundCRulesMsg = Não pôde parsear ao parágrafo global: nenhum parágrafo foi encontrado

COD0629 = A normalização não pôde ser aplicada

XiSError = Xi S não encontrado
DeltaSError = Delta S não encontrado
SNotFoundError = S não é encontrado na especificação

AbsStateNotFoundError = Estado Abstrato não encontrado na operação.
CStateNotFoundError = Estado Concreto não encontrado na operação.


InvalidDeclListCRulesMsg = Lista de declaração inválida
InvalidDeclarationCRulesMsg = Declaração da lista de declarações inválida