Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Open sidebar
Amin Bandali
alloy-catalyst
Commits
7fa1cc14
Verified
Commit
7fa1cc14
authored
May 29, 2019
by
Amin Bandali
Browse files
Suppress Macro-related exception
parent
ac30f1ba
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
12 additions
and
0 deletions
+12
-0
org.aminb.alloy.catalyst/src/main/java/org/aminb/alloy/catalyst/SSRVisitor.java
...st/src/main/java/org/aminb/alloy/catalyst/SSRVisitor.java
+12
-0
No files found.
org.aminb.alloy.catalyst/src/main/java/org/aminb/alloy/catalyst/SSRVisitor.java
View file @
7fa1cc14
...
...
@@ -10,6 +10,7 @@ import edu.mit.csail.sdg.ast.ExprBadJoin;
import
edu.mit.csail.sdg.ast.ExprBinary
;
import
edu.mit.csail.sdg.ast.ExprCall
;
import
edu.mit.csail.sdg.ast.ExprConstant
;
import
edu.mit.csail.sdg.ast.ExprCustom
;
import
edu.mit.csail.sdg.ast.ExprITE
;
import
edu.mit.csail.sdg.ast.ExprLet
;
import
edu.mit.csail.sdg.ast.ExprList
;
...
...
@@ -162,6 +163,17 @@ public class SSRVisitor extends VisitReturn {
return
null
;
}
/** Visits a ExprCustom node */
@Override
public
Object
visit
(
ExprCustom
x
)
{
/**
* Similar to ExprBadJoin case above, but for Macro. Happens
* in models/builtin/puzzle/coloring/color-australia.als, with
* a 'Incomplete call on the macro "adjacent"' message.
*/
return
null
;
}
/** Visits an ExprUnary node. */
@Override
public
Object
visit
(
ExprUnary
x
)
{
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment