rascal

2зной

1ответ

У меня есть некоторые проблемы с отладкой Java-кода. У меня есть модуль Rascal, из которого я вызываю связанный Java-метод. Этот Java-метод содержит пару операторов System.err.println, как предлагаетс

3зной

1ответ

Инициировать Rascal тесты из оболочки для целей CI

Если я хочу, чтобы запустить все тесты в пределах модуля, я просто написать: > import Example; > :test и все функции теста BOOL запуска. Тем не менее, я хочу запустить их, используя Rascal .jar для

3зной

1ответ

Общие двоичные отношения основного ядра M3

В статье «M3: общая модель для анализа кода в мошеннике» 3 приведены основные двоичные отношения ядра для M3. Это: containment, declarations и uses. Глядя на исходный код M3 в analysis::m3::Core, я ви

1зной

1ответ

Rascal AST для доступа к аннотации доступа

Итак, я хотел бы получить доступ к аннотациям узла, когда я нахожу его. Приведем пример: visit (myAST) { case someNode(str name): { // How do I now access the @src annotation of someNode her

0зной

1ответ

Можно ли определить своих собственных операторов в Rascal?

Я пишу некоторые испытания вспомогательные функции, чтобы сделать вывод более разумным: bool tstEq(first, second) { if(first == second) return true; else { println("<first> was not

1зной

1ответ

Что означает `` `в начале альтернативы ADT?

http://tutor.rascal-mpl.org/Rascal/Libraries/lang/java/m3/TypeSymbol/Bound/Bound.html От: data Bound = \super(list[TypeSymbol] bound) | \extends(list[TypeSymbol] bound) | \unbounded()