alloy2b.edu.mit.csail.sdg.alloy4compiler.ast.Expr.class Maven / Gradle / Ivy
???? 28 1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr 6alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Browsable Expr.java 9alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary$Op 6alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary Op 8alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSig 0alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig
PrimSig 3alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr$2 3alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr$3 3alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr$1 :alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary$Op 7alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprBinary 6alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprQt$Op 3alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprQt pos &Lalloy2b/edu/mit/csail/sdg/alloy4/Pos; closingBracket type 3Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type; errors /Lalloy2b/edu/mit/csail/sdg/alloy4/JoinableList; WLalloy2b/edu/mit/csail/sdg/alloy4/JoinableList; mult I weight J ambiguous Z emptyListOfErrors hasCall 9Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/VisitQuery; ULalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/VisitQuery; 5()Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type; ! " 1 ?(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 ?(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 ()V 3 6
7 $alloy2b/edu/mit/csail/sdg/alloy4/Pos 9 UNKNOWN ; : < 1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type > -alloy2b/edu/mit/csail/sdg/alloy4/JoinableList @ B D * + F , $ H EMPTY J " ? K size ()I M N
A O *alloy2b/edu/mit/csail/sdg/alloy4/ErrorType Q (This expression failed to be typechecked S C(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/java/lang/String;)V 3 U
R V make K(Lalloy2b/java/lang/Object;)Lalloy2b/edu/mit/csail/sdg/alloy4/JoinableList; X Y
A Z & ' \ ( ) ^ # $ ` \(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;)V o(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSig;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type; X c
? d (()Lalloy2b/edu/mit/csail/sdg/alloy4/Pos; toString %(Lalloy2b/java/lang/StringBuilder;I)V ()Lalloy2b/java/lang/String; alloy2b/java/lang/StringBuilder j
k 7 g h
m g i
k o hashCode alloy2b/java/lang/Object r q N
s t equals (Lalloy2b/java/lang/Object;)Z v w
s x 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 } typecheck_as_formula 5()Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr; isEmpty ()Z ? ?
A ? is_bool ? + ? ? SThis must be a formula expression.
Instead, it has the following possible type(s):
? append =(Lalloy2b/java/lang/String;)Lalloy2b/java/lang/StringBuilder; ? ?
k ? =(Lalloy2b/java/lang/Object;)Lalloy2b/java/lang/StringBuilder; ? ?
k ? NOOP ;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary$Op; ? ? ? span ? f
? ?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Lalloy2b/edu/mit/csail/sdg/alloy4/Err;J)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr; X ?
? typecheck_as_int is_small_int ? ?
? ? is_int ? ?
? ? cast2int ? ?
? TThis must be an integer expression.
Instead, it has the following possible type(s):
? typecheck_as_set cast2sigint ? ?
?
? O PThis must be a set or relation.
Instead, it has the following possible type(s):
? 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; resolve_as_formula K(Ljava/util/Collection;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr; |(Ljava/util/Collection;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr; ?
? FORMULA ? " ? ? ? ?
? resolve_as_int ? ?
? smallIntType ? 0
? ? resolve_as_set ? ?
? removesBoolAndInt h(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type; ? ?
? ? isSame 6(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Z op ? ? ? sub 3Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr; ? ? ? deNOP =()Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprUnary$Op; ONEOF ? ? ? LONEOF ? ? ? SOMEOF ? ? ? EXACTLYOF ? ? ? SETOF ? ? ? - . ? z {
? hasVar 9(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprVar;)Z l(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprVar;)V 3 ?
? 7alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/VisitQuery ? findAllFunctions ()Lalloy2b/java/lang/Iterable; S()Lalloy2b/java/lang/Iterable; java/util/LinkedHashSet ?
? 7 java/util/ArrayList ?
? 7 _(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Ljava/util/LinkedHashSet;Ljava/util/List;)V 3 ?
? visitThis O(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Lalloy2b/java/lang/Object; ? ?
? ? java/util/List ? ? ? ? O remove (I)Lalloy2b/java/lang/Object; ? 1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Func getBody ?
getDepth and h(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr; AND minus MINUS A B iminus IMINUS E F mul MUL I J div DIV M N rem REM Q R equal EQUALS U V lt LT Y Z lte LTE ] ^ gt GT a b gte GTE e f shl SHL i j shr SHR m n sha SHA q r in IN u v product ARROW y z any_arrow_some ANY_ARROW_SOME } ~
any_arrow_one
ANY_ARROW_ONE ? ? any_arrow_lone ANY_ARROW_LONE ? ? some_arrow_any SOME_ARROW_ANY ? ? some_arrow_some SOME_ARROW_SOME ? ? some_arrow_one SOME_ARROW_ONE ? ? some_arrow_lone SOME_ARROW_LONE ? ?
one_arrow_any
ONE_ARROW_ANY ? ? one_arrow_some ONE_ARROW_SOME ? ?
one_arrow_one
ONE_ARROW_ONE ? ? one_arrow_lone ONE_ARROW_LONE ? ? lone_arrow_any LONE_ARROW_ANY ? ? lone_arrow_some LONE_ARROW_SOME ? ? lone_arrow_one LONE_ARROW_ONE ? ? lone_arrow_lone LONE_ARROW_LONE ? ? isSeq_arrow_lone ISSEQ_ARROW_LONE ? ? ite ?(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr; 4alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprITE? ?(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;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr; X?
?? forAll ?(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Decl;[Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Decl;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr; 1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Decl?
? ? 4[Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Decl;? ALL 8Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprQt$Op; ?? ? %alloy2b/edu/mit/csail/sdg/alloy4/Util? asList I([Lalloy2b/java/lang/Object;)Lalloy2b/edu/mit/csail/sdg/alloy4/ConstList; ??
?? prepend X(Ljava/util/List;Lalloy2b/java/lang/Object;)Lalloy2b/edu/mit/csail/sdg/alloy4/ConstList; ??
?? ?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Ljava/util/List;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr; X?
? forNo NO ?? ? forLone LONE ?? ? forOne ONE ?? ? forSome SOME ?? ? comprehensionOver
COMPREHENSION ?? ? sumOver SUM ?? ? someOf ?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr; X?
? O(Lalloy2b/java/lang/String;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Decl; 4alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprVar? ?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/java/lang/String;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Type;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprVar; X?
?? java/util/Arrays? -([Lalloy2b/java/lang/Object;)Ljava/util/List; ??
? ?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;Ljava/util/List;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)V 3
? loneOf oneOf setOf not NOT ?
no ? ?
some ? ? lone ? ? one ? ? transpose TRANSPOSE ? reflexiveClosure RCLOSURE ? closure CLOSURE ! ? " cardinality CARDINALITY % ? & CAST2INT ( ? ) CAST2SIGINT + ? ,
A 7
7 Signature Code LineNumberTable
StackMapTable
Exceptions InnerClasses
SourceFile! ! " # $ 1 % & ' ( ) * + , $ 1 % - . 1 / ] ! 0 2 *? 2? 3 8 3 4 2 ? ?*? 8*+? ? =? +? C*,? ? =? ,? E* ? G? ? I:? L? ? P? ? RY+T? W? [:*? ? ? ? ]*? P? ? ? L? ? 2* ?? ? ? _*? a? 4 ? ? : : ? A ? : : ? A :M ? : : ? A : K C ? : : ? A P E ? : : ? A ?O ? : : ? A 3 2 i j k " l ' m 1 n A o R p g q ? r ? s ? t1 5 3 b 2 ? K*? 8*? =? E*? G*? I? a*+? ? =? +? C*,?
,? L?
*? ? e? ,? 2*? ]* ? _? 4 I ? " : ? ? : ? :N I ? : ? ?3 & w x y z { & | @ } E ~ J f 2 *? C? 3 ? g h g i 2 + ? kY? lL*+? n+? p? 3 ? q N 2 *? u? 3 ? v w 2 *+? y? 3 ? z { 5 ~1 | ? 2 m C*? a? ??
*? 2? ?? *?? kY? l?? ?*? 2? ?? pL? ?*? RY*? ?+? W ? ?? 4 3 ? ? - ? ? ? 2 ? T*? a? ?? *?*? 2? ?? *?*? 2? ?? *? ??? kY? l?? ?*? 2? ?? pL? ?*? RY*? ?+? W ? ?? 4 3 " ?
? ? ? ? " ? ' ? > ? ? ? 2 ? `*? a? ?? *?*? 2? ?? *? ??*? 2? ?? *?*? 2? ?? *?? kY? l?? ?*? 2? ?? pL? ?*? RY*? ?+? W ? ?? 4 3 *
?
? ? ? ? % ? ' ? 1 ? 3 ? J ? ? ? 1 ? ? ? 2 ' *? ?? ?+? ?? ?? 3 ?1 ? ? ? 2 ' *? ?? ?+? ?? ?? 3 ?1 ? ? ? 2 7 *? ?M,? 2N,-? ?+? ?? ð 3 ? ?
?1 ? ? ? 2 S *+? ? +? ? ̲ ?? +? ? ?L???+*? ? ? 4 @3
? ? ? ? 2 R #*L+? ? +? ? ̲ ?? +? ? ?L???+? 4 ? 3 ? ? ! ? & ? 2 ? E*L+? ? ;+? ? ?M,? ?? +? ? ?L???,? ե ,? إ ,? ۥ
,? ަ ,?? ? 4 ? ? ? 3 # A - ? 2 q 3*? G? *? a? ?? ? <? *? ? ?? ? ? :? ? + . ~ 4 ? ?@C ~? 3 # 2$ ? ? 2 ? M? ?Y? ?L? ?Y? ?M? Y*+,? ?N-*? ?W,? ? ? -,,? d? ?? ? ?W??ާ :+? F I ~ 4 ? ! ? ? ?$B ~3 ) * + / !0 F1 K21 ?
N 2 B +? *? ?*? ?+? ??*+?? 4 S 3 @ 2 B +? *? ?*? ?+? ??*+?? 4 S 3 F 2 - ? *? ?+? ??*+?? 3 K 2 - ?#*? ?+? ??*+?? 3 P $ 2 - ?'*? ?+? ??*+?? 3 W ( 2 - ?+*? ?+? ??*+?? 3 ] , 2 - ?/*? ?+? ??*+?? 3 c 0 2 - ?3*? ?+? ??*+?? 3 h 4 2 - ?7*? ?+? ??*+?? 3 m 8 2 B +? *? ?;*? ?+? ??*+?? 4 S 3 s < 2 B +? *? ??*? ?+? ??*+?? 4 S 3 t @ 2 - ?C*? ?+? ??*+?? 3 y D 2 - ?G*? ?+? ??*+?? 3 z H 2 - ?K*? ?+? ??*+?? 3 L 2 - ?O*? ?+? ??*+?? 3 ? P 2 - ?S*? ?+? ??*+?? 3 ? T 2 - ?W*? ?+? ??*+?? 3 ? X 2 - ?[*? ?+? ??*+?? 3 ? \ 2 - ?_*? ?+? ??*+?? 3 ? ` 2 - ?c*? ?+? ??*+?? 3 ? d 2 - ?g*? ?+? ??*+?? 3 ? h 2 - ?k*? ?+? ??*+?? 3 ? l 2 - ?o*? ?+? ??*+?? 3 ? p 2 - ?s*? ?+? ??*+?? 3 ? t 2 - ?w*? ?+? ??*+?? 3 ? x 2 - ?{*? ?+? ??*+?? 3 ? | 2 - ?*? ?+? ??*+?? 3 ? ? 2 - ??*? ?+? ??*+?? 3 ? ? 2 - ??*? ?+? ??*+?? 3 ? ? 2 - ??*? ?+? ??*+?? 3 ? ? 2 - ??*? ?+? ??*+?? 3 ? ? 2 - ??*? ?+? ??*+?? 3 ? ? 2 - ??*? ?+? ??*+?? 3 ? ? 2 - ??*? ?+? ??*+?? 3 ? ? 2 - ??*? ?+? ??*+?? 3 ? ? 2 - ??*? ?+? ??*+?? 3 ? ? 2 - ??*? ?+? ??*+?? 3 ? 2 - ??*? ?+? ??*+?? 3 ? 2 - ??*? ?+? ??*+?? 3 ? 2 - ??*? ?+? ??*+?? 3 ? 2 - ??*? ?+? ??*+?? 3 ? 2 - ??*? ?+? ??*+?? 3 ?? 2 "
? =*+,?° 3 $ ??? 2 ? @+??N,:?66? 2:-?ǶN?????-,??+??*?ڰ 4 ? ?? :? ? 3 * + .,5 ~ ??? 2 ? @+??N,:?66? 2:-?ǶN?????-,??+??*?ڰ 4 ? ?? :? ? 3 3 4 .55 ~ ??? 2 ? @+??N,:?66? 2:-?ǶN?????-,??+??*?ڰ 4 ? ?? :? ? 3 < = .>5 ~ ??? 2 ? @+??N,:?66? 2:-?ǶN?????-,??+??*?ڰ 4 ? ?? :? ? 3 E F .G5 ~ ??? 2 ? @+??N,:?66? 2:-?ǶN?????-,??+??*?ڰ 4 ? ?? :? ? 3 N O .P5 ~ ??? 2 ? @+??N,:?66? 2:-?ǶN?????-,??+??*?ڰ 4 ? ?? :? ? 3 X Y .Z5 ~ ??? 2 ? @+??N,:?66? 2:-?ǶN?????-,??+??*?ڰ 4 ? ?? :? ? 3 b c .d5 ~ ? ? 2 $ ? ?*? ?*??? 3 k ?? 2 P 0? ?*? ?*??M,? ?+*? 2??N??Y??Y-S?,?? 3 s t u5 ~ ? 2 $ ? ?*? ?*??? 3 | ? 2 P 0? ?*? ?*??M,? ?+*? 2??N??Y??Y-S?,?? 3 ? ? ?5 ~ ? 2 $ ? ?*? ?*??? 3 ? ? 2 P 0? ?*? ?*??M,? ?+*? 2??N??Y??Y-S?,?? 3 ? ? ?5 ~ ? 2 $ ? ?*? ?*??? 3 ? ? 2 P 0? ?*? ?*??M,? ?+*? 2??N??Y??Y-S?,?? 3 ? ? ?5 ~ ? 2 $ ? *? ?*??? 3 ? ? 2 $ ?*? ?*??? 3 ? ? 2 $ ?*? ?*??? 3 ? ? 2 $ ?*? ?*??? 3 ? ? 2 $ ?*? ?*??? 3 ? ? 2 $ ?*? ?*??? 3 ? ? 2 $ ? *? ?*??? 3 ? ? 2 $ ?#*? ?*??? 3 ? $ ? 2 $ ?'*? ?*??? 3 ? ? ? 2 $ ?**? ?*??? 3 ? ? ? 2 $ ?-*? ?*??? 3 ? . 6 2 1 ? AY?/? I? Y?0? ? 3
Q
6 :
@
@
@7 © 2015 - 2025 Weber Informatics LLC | Privacy Policy