Blame view

circus/bin/CRulesMessages_pt_BR.properties 2.57 KB
8d0dc533f   Madiel de Souza Conserva Filho   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
  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.
  Nã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  lista de declarações inválida