search

MenthorTools / menthor-editor

Menthor Editor
30 stars 7 forks source link

Int como datatype quebra a simulação em Alloy #57

Closed BernardoFBBraga closed 8 years ago

BernardoFBBraga commented 8 years ago

Int em Alloy vira "keyword" e quebra a simulação. Só simula casos triviais.

https://drive.google.com/open?id=0B5fdyDU6BxubTmU2cXpQaW55ZmM

esse arquivo tem um caso que isso acontece.

freddybrasileiro commented 8 years ago

@BernardoFBBraga, acho que o mapeamento de tipos primitivos deve estar mapeado em hard code... Provavelmente, se você colocar int (com letra minúscula), resolve...

Mas é claro que a gente precisa pensar no que fazer nesses casos

johnguerson commented 8 years ago

Bug Fix with Issue 59. Available at the future release 1.1.2. Causa: Em vez de substituir a palavra reservada alloy para 'keyword' (o que obviamente leva a erros de simulação), agora mantemos o nome original do tipo acrescentado de '' (underline). Assim, a simulação nesse caso reconheceria esse tipo Int como "Int".

BernardoFBBraga commented 8 years ago

OK. sugestão de usar a palavra chave Int do Alloy em: https://github.com/tgoprince/menthor-editor/issues/65