• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• Macro.class

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

alloy2b.edu.mit.csail.sdg.alloy4compiler.parser.Macro.class Maven / Gradle / Ivy

????2?
5alloy2b/edu/mit/csail/sdg/alloy4compiler/parser/Macro

7alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprCustom

Macro.java
Balloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule$Context
:alloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule
Context
	isPrivate
&Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;

realModule
;
args
aLalloy2b/edu/mit/csail/sdg/alloy4/ConstList;
body
3Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;

?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule;Lalloy2b/java/lang/String;Ljava/util/List;Ljava/util/List;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)V

e(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule;Lalloy2b/java/lang/String;Ljava/util/List;Ljava/util/List;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)V
+alloy2b/edu/mit/csail/sdg/alloy4/ErrorFatal
alloy2b/java/lang/StringBuilder
()V
 
Incomplete call on the macro ""
append
=(Lalloy2b/java/lang/String;)Lalloy2b/java/lang/StringBuilder;$%
&

"(
toString
()Lalloy2b/java/lang/String;*+
,
C(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/java/lang/String;)V.
/
O(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Err;)V1
2
	4	6	8
*alloy2b/edu/mit/csail/sdg/alloy4/ConstList:
make
J(Lalloy2b/java/lang/Iterable;)Lalloy2b/edu/mit/csail/sdg/alloy4/ConstList;<=
;>	@	B	D
?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule;Lalloy2b/java/lang/String;Ljava/util/List;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)V

 (Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule;Lalloy2b/java/lang/String;Ljava/util/List;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)V
H
addArg
l(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/Macro;
posL	M
%alloy2b/edu/mit/csail/sdg/alloy4/UtilO
X(Ljava/util/List;Lalloy2b/java/lang/Object;)Lalloy2b/edu/mit/csail/sdg/alloy4/ConstList;$Q
PR
	changePos
[(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;
instantiate
?(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule$Context;Ljava/util/List;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;
?(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule$Context;Ljava/util/List;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;
$alloy2b/edu/mit/csail/sdg/alloy4/ErrY
unrolls

I[\	]
span
(()Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;_`
a
4alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBadc
,
*alloy2b/edu/mit/csail/sdg/alloy4/ErrorTypef
GMacro substitution too deep; possibly indicating an infinite recursion.h
g/
i(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/java/lang/String;Lalloy2b/edu/mit/csail/sdg/alloy4/Err;)Vk
dl
size
()Ino
;p
P(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule;Ljava/util/List;I)Vr
s
get
(I)Lalloy2b/java/lang/Object;uv
;w
1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expry
type
5()Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;{|
z}
resolve
~(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;Ljava/util/Collection;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;?
z?
4alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprVar?
label?	??
put
P(Lalloy2b/java/lang/String;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)V??
?
check
h(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;??
?
%(Lalloy2b/java/lang/StringBuilder;I)V
 macro"?
" ?
$(C)Lalloy2b/java/lang/StringBuilder;$?
?
macro"?
"
?
getDepth?o
z?
iterator
()Ljava/util/Iterator;??
;?
java/util/Iterator?
hasNext
()Z????
next
()Lalloy2b/java/lang/Object;????
getHTML
+error (parser or typechecker failed)?
getSubnodes
()Ljava/util/List;
M()Ljava/util/List<+Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Browsable;>;
java/util/ArrayList?
(I)V?
??
	Signature
Code
LineNumberTable

StackMapTable

Exceptions
InnerClasses

SourceFile0

?
?
??O*+?Y+?Y?!#?'?')?'?-?0?3*-?5*,?7*?9*???A*???C*?E?
?":&;+<0=6>??H@NA?F?+*+,-
?I?
?
EF?GJK
?@	(?Y*?N*?7*?5*?9*?A*?C+?S*?E?I?
?
ITU
?9	!?Y+*?7*?5*?9*?A*?C*?E?I?
?
MVW???+?^?*?bN?dY-*?e?gY-i?j?m?*?A?q*?C?q?*??Y*?5,+?^d?tN*?A?q66?A*?C?x?z:???~,??:-*?A?x???????
???-*?E????#?

?)z??.UVW#Y6ZI[\\j]^?[?`?
Z?X
*?
?{B?+??'*?9?'??'W?*>?+ ??W?
???+??'*?9?'??'W???

??efh.iAk
?o
?l9*?E??<*?C??M,??
?,??
?zN-??6?