• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• ExprBinary.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.ast.ExprBinary.class Maven / Gradle / Ivy

????2
u
7alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary

1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr
ExprBinary.java
9alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary$1
:alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary$Op
Op
=alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type$ProductType
1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type

ProductType
8alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSig
0alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig
PrimSig
9alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary$Op
6alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary
op


S(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary$Op;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;Lalloy2b/edu/mit/csail/sdg/alloy4/JoinableList;)V

{(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary$Op;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;Lalloy2b/edu/mit/csail/sdg/alloy4/JoinableList;)V
	ambiguous

Z#$	%
$alloy2b/edu/mit/csail/sdg/alloy4/Pos'
-alloy2b/edu/mit/csail/sdg/alloy4/JoinableList)
isArrow+$		,
mult

I./	0
ARROW2		3
weight

J56	7
?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;ZLalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;IJLalloy2b/edu/mit/csail/sdg/alloy4/JoinableList;)V 9
:	<	>	@	B
isSame
6(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Z
;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary$Op;F	G
NOOPIF	J
subL	MDE
O
error
?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/java/lang/String;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Lalloy2b/edu/mit/csail/sdg/alloy4/ErrorType;
*alloy2b/edu/mit/csail/sdg/alloy4/ErrorTypeS
alloy2b/java/lang/StringBuilderU
()V W
VX
append
=(Lalloy2b/java/lang/String;)Lalloy2b/java/lang/StringBuilder;Z[
V\

Left type = ^
type
3Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;`a	b
=(Lalloy2b/java/lang/Object;)Lalloy2b/java/lang/StringBuilder;Zd
Ve

Right type = g
toString
()Lalloy2b/java/lang/String;ij
Vk
C(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/java/lang/String;)V m
Tn
warn
K(Lalloy2b/java/lang/String;)Lalloy2b/edu/mit/csail/sdg/alloy4/ErrorWarning;
-alloy2b/edu/mit/csail/sdg/alloy4/ErrorWarningr
post	u
removesBoolAndInt
h(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;wx
y
sn
~(Lalloy2b/java/lang/String;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;)Lalloy2b/edu/mit/csail/sdg/alloy4/ErrorWarning;

Parent's relevant type = }
(()Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;
closingBracket?	?
merge
N(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;)Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;??
(?
?
%(Lalloy2b/java/lang/StringBuilder;I)V
ISSEQ_ARROW_LONE?		?
seq ?i?
?
$(C)Lalloy2b/java/lang/StringBuilder;Z?
V?
 with type=?	b
resolve
~(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;Ljava/util/Collection;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;
?(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;Ljava/util/Collection;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;
errors
/Lalloy2b/edu/mit/csail/sdg/alloy4/JoinableList;??	?
size
()I??
*?
=$SwitchMap$edu$mit$csail$sdg$alloy4compiler$ast$ExprBinary$Op
[I??	?
ordinal??
	?
smallIntType
5()Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;??
?
FORMULA?a	?
	intersect?x
?
hasTuple
()Z??
?
pickCommonArity?x
?

intersects
6(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;)Z??
?
L== is redundant, because the left and right expressions are always disjoint.?pq
?
S== is redundant, because the left and right expressions always have the same value.?

hasNoTuple??
?
KSubset operator is redundant, because both subexpressions are always empty.?
MSubset operator is redundant, because the left subexpression is always empty.?
NSubset operator is redundant, because the right subexpression is always empty.?
\Subset operator is redundant, because the left and right subexpressions are always disjoint.?
`Subset operator is redundant, because the left and right expressions always have the same value.?
C& is irrelevant because the two subexpressions are always disjoint.?
EMPTY?a	?
7 is irrelevant since both subexpressions are redundant.?p|
?
9 is irrelevant since the left subexpression is redundant.?
PLUSPLUS?		?
canOverride??
?
: is irrelevant since the right subexpression is redundant.?
8- is irrelevant since the right expression is redundant.?
3The join operation here always yields an empty set.?
iterator
()Ljava/util/Iterator;??
?
java/util/Iterator?
hasNext????
next
()Lalloy2b/java/lang/Object;????
arity??
?
hasArity
(I)Z??
?
get
=(I)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSig;??
?
v(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSig;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSig;?




NONE
:Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSig;

	

join
?(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type$ProductType;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type$ProductType;



	
t(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type$ProductType;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;?



isEmpty
?


java/util/ArrayList

(I)V 




java/util/List

add
(Lalloy2b/java/lang/Object;)Z




(ILalloy2b/java/lang/Object;)V




make
G(Ljava/util/List;II)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;

 

!?x

#
?
=(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSig;)Z?
&

'?


)
4<: is irrelevant because the result is always empty.
+
columnRestrict
|(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSig;I)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type$ProductType;
-
.

/
v(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type$ProductType;II)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;?
1

2
extract
6(I)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;
4
5

6
4:> is irrelevant because the result is always empty.
8
UThe left expression of -> is irrelevant because the right expression is always empty.
:
UThe right expression of -> is irrelevant because the left expression is always empty.
<
product
>


???

A
java/util/Collection
C
D

?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;

F
	
G
getDepth
I?

J
accept
V(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/VisitReturn;)Lalloy2b/java/lang/Object;
b(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/VisitReturn;)TT;
$alloy2b/edu/mit/csail/sdg/alloy4/Err
O
8alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/VisitReturn
Q
visit
U(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary;)Lalloy2b/java/lang/Object;
S
T

R
U
getHTML
toHTML
Xj
	
Y
 
[

]
getSubnodes
()Ljava/util/List;
M()Ljava/util/List<+Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Browsable;>;
%alloy2b/edu/mit/csail/sdg/alloy4/Util
b
asList
I([Lalloy2b/java/lang/Object;)Lalloy2b/edu/mit/csail/sdg/alloy4/ConstList;
d
e

c
f

access$000QR

i

?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary$Op;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;Lalloy2b/edu/mit/csail/sdg/alloy4/JoinableList;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary$1;)V !

l
Code

StackMapTable
LineNumberTable
	Signature

Exceptions
InnerClasses

SourceFile1 !
n
?
f*+,?&??&??-?-? ?1??1?
-?4???8?8a?;*
?=*-??*?A*?C?
o??((	*((?((	*((?((	*((
?!((	*((
?((	*((
?((	*((


p?O9TFYG_HeI
q"
DE

n?a+??+??H?K?+??NL???+*??+???+?M*??,???#*?A,?A?P?*?C,?C?P???
o?/@

pOP&Q/R4S
QR

nG/?TY*?VY?Y+?]_?],?c?fh?]-?c?f?l?o?

p
\pq

nV>?sY*?v?VY?Y+?]_?]*?A?c?z?fh?]*?C?c?z?f?l?{?

p
ep|

nbJ?sY*?v?VY?Y+?]~?],?z?f_?]*?A?c?z?fh?]*?C?c?z?f?l?{?

p
p


n^0*?=L+?(**?v*????*?C????*?A????YL?=+?
o
?.(
pz{.|
i?

n????*?????
+??]W?*?A+??+ ??*???f ??W*?C+???G>?+ ??W?
???+*???f??]*???f
??W*?A+`??*?C+`???
o
?

?/
p"??4?@?T?n?y???
??
n|?*?????*?
N*?A?c:*?C?c:??*????.?
??#????????????????
?
?
????
?
 
 ?

???Y::????Y::?|??L+???+:+:???:??:,??K*?A?c???.*?C?c???!*?A?c*?C?c???
*???N?*?A*?C?P?*÷?N????:??:,???*?A?c?ƙ*?C?c?ƙ
*ȷ?N??*?A?c?ƙ
*ʷ?N??*?C?c?ƙ
*̷?N???ƙ
*η?N?~*?A*?C?P?p*з?N?f+??:+??:,?R*???ƙH*ҷ?N?>??:??:?1+??:+??:,???զ'?զ*?VY?Y*?f׶]?l+??N???զ*?VY?Y*?f۶]?l+??N???ե!*???ަ?*?C?c*?A?c???*?VY?Y*?f?]?l+??N??+:+??:,?y*???ƚ?ƙg*?+??N?\,?*???ƙ
*??N??Y::*?A?c??:??
?
	??
?:*?C?c??:??
????
?:	+??	??`d??????d??	???
:

?
??+	?

?

??:??
????
?:?
?q?
Y??`?
:
6???
???
W?
???
??d
?

???
"?
$:
??d
?
%
?
"?
$:??t??????ե?զ???Y::*?A?c??:??
?u??
?:*?C?c??:??
?P??
?:	+??	??`d???-??d??	???
(??
*:	?
*:???????ե?զs??Y::*?A?c??:??
?]??
?:*?C?c??:??
?8??
?:	+??	??`d????
*:	?
*:??ħ????,?*???ƙ*
,??N??:??:??:??
????
?:		???y??:

??
?h
??
?:+?????M+	???
0?

??:??
?.??
?:

?
?
?
3:
?
*:??Χ????k?ե?զ?
7:+??:::?,?*???ƙ*
9??N??:??:??:??
????
?:		??????:

??
?x
??
?:+?????]+	????d?
0?

??:??
?8??
?:

?
?!
?
*:

??d
???
3:??ħ????[?ե?զ+??:?
7:::?
,??.????ƙ*
;??N????*
=??N??:??:??:??
????
?:		?
????:

??
?
??
?:?
?h+	????`???V+	?
@?

??:??
?<??
?:

?
?%
	???
3:
	??
???
3:?????}??U?ե?զ::::*?A,?
B:*?C,?
B:-?,-?
EW*?A?*?C?*?*??*?v*???
H?
o
%U??s

7#'+#% 
???!??X??0

??;??????!??S?????!?;?????%??6?1????
???%??<?;????
???$??????????#R
p
?k
O
P
Q 
R?
U?
V?
Y?
Z?
]?
^?
c?
d?
e
)
f
3
g
A
h
K
m
T
n
]
o
d
p
~
q
?
r
?
s
?
t
?
u
?
v
?
w
?
x
?
y
?
}
?
~
?

?

?
?
?
?%
?,
?<
?X
?`
?|
??
??
??
??
??
??
??
?
?_
?v
??
??
??
??
?
?
?
?#
?3
?;
?
??
??
??
??
?
?3
?N
?d
?n
??
??
??
?

?
?%
?-
?8
?N
?X
??
??
??
?
?
?
?'
?2
?9
?A
?T
?d
?n
??
??
??
?
?#
?;
??
?C
?O
?[
?g
?
q?

I?

nF*?A?
K<*?C?
K=?`?`?
o
?


p

?
?
L
M
n+*?
V?

p

r

P
q
N

Wj

n@
(?VY?Y*???
Z?]
\?]*???f
^?]?l?

p


_
`
n.
?Y*?ASY*?CS?
g?

p

q
a
hR

n *+,-?
j?

p
- 
k

n(	*+,-?
m?

p
-
s*	
@
@
t