All Downloads are FREE. Search and download functionalities are using the official Maven repository.

alloy2b.edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary.class Maven / Gradle / Ivy

????2u7alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprExprBinary.java9alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary$1:alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary$OpOp=alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type$ProductType1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type
ProductType8alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSig0alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/SigPrimSig9alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary$Op6alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnaryopS(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	ambiguousZ#$	%$alloy2b/edu/mit/csail/sdg/alloy4/Pos'-alloy2b/edu/mit/csail/sdg/alloy4/JoinableList)isArrow+$		,multI./	0ARROW2		3weightJ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
:	<	>	@	BisSame6(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Z;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary$Op;F	GNOOPIF	JsubL	MDE
Oerror?(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/ErrorTypeSalloy2b/java/lang/StringBuilderU()V W
VXappend=(Lalloy2b/java/lang/String;)Lalloy2b/java/lang/StringBuilder;Z[
V\
Left type = ^type3Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;`a	b=(Lalloy2b/java/lang/Object;)Lalloy2b/java/lang/StringBuilder;Zd
Ve
Right type = gtoString()Lalloy2b/java/lang/String;ij
VkC(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/java/lang/String;)V m
TnwarnK(Lalloy2b/java/lang/String;)Lalloy2b/edu/mit/csail/sdg/alloy4/ErrorWarning;-alloy2b/edu/mit/csail/sdg/alloy4/ErrorWarningrpost	uremovesBoolAndInth(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?	?mergeN(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;)Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;??
(?
?%(Lalloy2b/java/lang/StringBuilder;I)VISSEQ_ARROW_LONE?		?seq ?i?
?$(C)Lalloy2b/java/lang/StringBuilder;Z?
V? with type=?	bresolve~(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??
	?smallIntType5()Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;??
?FORMULA?a	?	intersect?x
?hasTuple()Z??
?pickCommonArity?x
?
intersects6(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/Listadd(Lalloy2b/java/lang/Object;)Z(ILalloy2b/java/lang/Object;)VmakeG(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
2extract6(I)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;45
64:> is irrelevant because the result is always empty.8UThe 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>
???
Ajava/util/CollectionCD?(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
	GgetDepthI?
JacceptV(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/ErrO8alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/VisitReturnQvisitU(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary;)Lalloy2b/java/lang/Object;ST
RUgetHTMLtoHTMLXj
	Y []getSubnodes()Ljava/util/List;M()Ljava/util/List<+Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Browsable;>;%alloy2b/edu/mit/csail/sdg/alloy4/UtilbasListI([Lalloy2b/java/lang/Object;)Lalloy2b/edu/mit/csail/sdg/alloy4/ConstList;de
cf
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 !
lCode
StackMapTableLineNumberTable	Signature
ExceptionsInnerClasses
SourceFile1 !n?
f*+,?&??&??-?-? ?1??1?
-?4???8?8a?;*?=*-??*?A*?C?o??((	*((?((	*((?((	*((?!((	*((?((	*((?((	*((p?O9TFYG_HeIq"DEn?a+??+??H?K?+??NL???+*??+???+?M*??,???#*?A,?A?P?*?C,?C?P???o?/@pOP&Q/R4S
QRnG/?TY*?VY?Y+?]_?],?c?fh?]-?c?f?l?o?p\pqnV>?sY*?v?VY?Y+?]_?]*?A?c?z?fh?]*?C?c?z?f?l?{?pep|nbJ?sY*?v?VY?Y+?]~?],?z?f_?]*?A?c?z?fh?]*?C?c?z?f?l?{?ppn^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????
???%??<?;????
???$??????????#Rp?kOPQ R?U?V?Y?Z?]?^?c?d?e)f3gAhKmTn]odp~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
??LMn+*?V?prPqNWjn@(?VY?Y*???Z?]\?]*???f^?]?l?p_`n.?Y*?ASY*?CS?g?pqahRn *+,-?j?p- kn(	*+,-?m?p-s*	
@
@t




© 2015 - 2025 Weber Informatics LLC | Privacy Policy