summaryrefslogtreecommitdiff
path: root/bin/alloy/RunAlloy.class
blob: b5e01c295918e73c24f2cfed28b5e3f9b7eba0a0 (plain)
ofshex dumpascii
0000 ca fe ba be 00 00 00 33 00 8f 0a 00 02 00 03 07 00 04 0c 00 05 00 06 01 00 10 6a 61 76 61 2f 6c .......3..................java/l
0020 61 6e 67 2f 4f 62 6a 65 63 74 01 00 06 3c 69 6e 69 74 3e 01 00 03 28 29 56 0a 00 08 00 09 07 00 ang/Object...<init>...()V.......
0040 0a 0c 00 0b 00 0c 01 00 11 6a 61 76 61 2f 6c 61 6e 67 2f 49 6e 74 65 67 65 72 01 00 08 70 61 72 .........java/lang/Integer...par
0060 73 65 49 6e 74 01 00 15 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 49 07 00 0e seInt...(Ljava/lang/String;)I...
0080 01 00 11 6a 61 76 61 2f 75 74 69 6c 2f 53 63 61 6e 6e 65 72 09 00 10 00 11 07 00 12 0c 00 13 00 ...java/util/Scanner............
00a0 14 01 00 10 6a 61 76 61 2f 6c 61 6e 67 2f 53 79 73 74 65 6d 01 00 02 69 6e 01 00 15 4c 6a 61 76 ....java/lang/System...in...Ljav
00c0 61 2f 69 6f 2f 49 6e 70 75 74 53 74 72 65 61 6d 3b 0a 00 0d 00 16 0c 00 05 00 17 01 00 18 28 4c a/io/InputStream;.............(L
00e0 6a 61 76 61 2f 69 6f 2f 49 6e 70 75 74 53 74 72 65 61 6d 3b 29 56 08 00 19 01 00 00 0a 00 0d 00 java/io/InputStream;)V..........
0100 1b 0c 00 1c 00 1d 01 00 07 68 61 73 4e 65 78 74 01 00 03 28 29 5a 0a 00 0d 00 1f 0c 00 20 00 21 .........hasNext...()Z.........!
0120 01 00 08 6e 65 78 74 4c 69 6e 65 01 00 14 28 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e ...nextLine...()Ljava/lang/Strin
0140 67 3b 12 00 00 00 23 0c 00 24 00 25 01 00 17 6d 61 6b 65 43 6f 6e 63 61 74 57 69 74 68 43 6f 6e g;....#..$.%...makeConcatWithCon
0160 73 74 61 6e 74 73 01 00 38 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 4c 6a 61 76 stants..8(Ljava/lang/String;Ljav
0180 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 a/lang/String;)Ljava/lang/String
01a0 3b 07 00 27 01 00 23 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 67 2f 61 6c 6c 6f 79 34 2f ;..'..#edu/mit/csail/sdg/alloy4/
01c0 41 34 52 65 70 6f 72 74 65 72 0a 00 26 00 03 0a 00 2a 00 2b 07 00 2c 0c 00 2d 00 2e 01 00 21 65 A4Reporter..&....*.+..,..-....!e
01e0 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 67 2f 70 61 72 73 65 72 2f 43 6f 6d 70 55 74 69 6c du/mit/csail/sdg/parser/CompUtil
0200 01 00 1a 70 61 72 73 65 45 76 65 72 79 74 68 69 6e 67 5f 66 72 6f 6d 53 74 72 69 6e 67 01 00 5e ...parseEverything_fromString..^
0220 28 4c 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 67 2f 61 6c 6c 6f 79 34 2f 41 34 52 65 70 (Ledu/mit/csail/sdg/alloy4/A4Rep
0240 6f 72 74 65 72 3b 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 4c 65 64 75 2f 6d 69 orter;Ljava/lang/String;)Ledu/mi
0260 74 2f 63 73 61 69 6c 2f 73 64 67 2f 70 61 72 73 65 72 2f 43 6f 6d 70 4d 6f 64 75 6c 65 3b 07 00 t/csail/sdg/parser/CompModule;..
0280 30 01 00 26 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 67 2f 74 72 61 6e 73 6c 61 74 6f 72 0..&edu/mit/csail/sdg/translator
02a0 2f 41 34 4f 70 74 69 6f 6e 73 0a 00 2f 00 03 09 00 2f 00 33 0c 00 34 00 35 01 00 0a 6e 6f 4f 76 /A4Options../..../.3..4.5...noOv
02c0 65 72 66 6c 6f 77 01 00 01 5a 09 00 37 00 38 07 00 39 0c 00 3a 00 3b 01 00 30 65 64 75 2f 6d 69 erflow...Z..7.8..9..:.;..0edu/mi
02e0 74 2f 63 73 61 69 6c 2f 73 64 67 2f 74 72 61 6e 73 6c 61 74 6f 72 2f 41 34 4f 70 74 69 6f 6e 73 t/csail/sdg/translator/A4Options
0300 24 53 61 74 53 6f 6c 76 65 72 01 00 05 53 41 54 34 4a 01 00 32 4c 65 64 75 2f 6d 69 74 2f 63 73 $SatSolver...SAT4J..2Ledu/mit/cs
0320 61 69 6c 2f 73 64 67 2f 74 72 61 6e 73 6c 61 74 6f 72 2f 41 34 4f 70 74 69 6f 6e 73 24 53 61 74 ail/sdg/translator/A4Options$Sat
0340 53 6f 6c 76 65 72 3b 09 00 2f 00 3d 0c 00 3e 00 3b 01 00 06 73 6f 6c 76 65 72 0b 00 40 00 41 07 Solver;../.=..>.;...solver..@.A.
0360 00 42 0c 00 43 00 44 01 00 1c 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 67 2f 61 73 74 2f .B..C.D...edu/mit/csail/sdg/ast/
0380 4d 6f 64 75 6c 65 01 00 0e 67 65 74 41 6c 6c 43 6f 6d 6d 61 6e 64 73 01 00 26 28 29 4c 65 64 75 Module...getAllCommands..&()Ledu
03a0 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 67 2f 61 6c 6c 6f 79 34 2f 43 6f 6e 73 74 4c 69 73 74 3b /mit/csail/sdg/alloy4/ConstList;
03c0 0a 00 46 00 47 07 00 48 0c 00 49 00 4a 01 00 22 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 ..F.G..H..I.J.."edu/mit/csail/sd
03e0 67 2f 61 6c 6c 6f 79 34 2f 43 6f 6e 73 74 4c 69 73 74 01 00 08 69 74 65 72 61 74 6f 72 01 00 16 g/alloy4/ConstList...iterator...
0400 28 29 4c 6a 61 76 61 2f 75 74 69 6c 2f 49 74 65 72 61 74 6f 72 3b 0b 00 4c 00 1b 07 00 4d 01 00 ()Ljava/util/Iterator;..L....M..
0420 12 6a 61 76 61 2f 75 74 69 6c 2f 49 74 65 72 61 74 6f 72 0b 00 4c 00 4f 0c 00 50 00 51 01 00 04 .java/util/Iterator..L.O..P.Q...
0440 6e 65 78 74 01 00 14 28 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 07 00 53 01 00 next...()Ljava/lang/Object;..S..
0460 1d 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 67 2f 61 73 74 2f 43 6f 6d 6d 61 6e 64 0b 00 .edu/mit/csail/sdg/ast/Command..
0480 40 00 55 0c 00 56 00 44 01 00 13 67 65 74 41 6c 6c 52 65 61 63 68 61 62 6c 65 53 69 67 73 0a 00 @.U..V.D...getAllReachableSigs..
04a0 58 00 59 07 00 5a 0c 00 5b 00 5c 01 00 33 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 67 2f X.Y..Z..[.\..3edu/mit/csail/sdg/
04c0 74 72 61 6e 73 6c 61 74 6f 72 2f 54 72 61 6e 73 6c 61 74 65 41 6c 6c 6f 79 54 6f 4b 6f 64 6b 6f translator/TranslateAlloyToKodko
04e0 64 01 00 0f 65 78 65 63 75 74 65 5f 63 6f 6d 6d 61 6e 64 01 00 ab 28 4c 65 64 75 2f 6d 69 74 2f d...execute_command...(Ledu/mit/
0500 63 73 61 69 6c 2f 73 64 67 2f 61 6c 6c 6f 79 34 2f 41 34 52 65 70 6f 72 74 65 72 3b 4c 6a 61 76 csail/sdg/alloy4/A4Reporter;Ljav
0520 61 2f 6c 61 6e 67 2f 49 74 65 72 61 62 6c 65 3b 4c 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 a/lang/Iterable;Ledu/mit/csail/s
0540 64 67 2f 61 73 74 2f 43 6f 6d 6d 61 6e 64 3b 4c 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 dg/ast/Command;Ledu/mit/csail/sd
0560 67 2f 74 72 61 6e 73 6c 61 74 6f 72 2f 41 34 4f 70 74 69 6f 6e 73 3b 29 4c 65 64 75 2f 6d 69 74 g/translator/A4Options;)Ledu/mit
0580 2f 63 73 61 69 6c 2f 73 64 67 2f 74 72 61 6e 73 6c 61 74 6f 72 2f 41 34 53 6f 6c 75 74 69 6f 6e /csail/sdg/translator/A4Solution
05a0 3b 0a 00 5e 00 5f 07 00 60 0c 00 61 00 1d 01 00 27 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 ;..^._..`..a....'edu/mit/csail/s
05c0 64 67 2f 74 72 61 6e 73 6c 61 74 6f 72 2f 41 34 53 6f 6c 75 74 69 6f 6e 01 00 0b 73 61 74 69 73 dg/translator/A4Solution...satis
05e0 66 69 61 62 6c 65 09 00 10 00 63 0c 00 64 00 65 01 00 03 6f 75 74 01 00 15 4c 6a 61 76 61 2f 69 fiable....c..d.e...out...Ljava/i
0600 6f 2f 50 72 69 6e 74 53 74 72 65 61 6d 3b 0a 00 67 00 68 07 00 69 0c 00 6a 00 6b 01 00 13 6a 61 o/PrintStream;..g.h..i..j.k...ja
0620 76 61 2f 69 6f 2f 50 72 69 6e 74 53 74 72 65 61 6d 01 00 05 70 72 69 6e 74 01 00 15 28 4c 6a 61 va/io/PrintStream...print...(Lja
0640 76 61 2f 6c 61 6e 67 2f 4f 62 6a 65 63 74 3b 29 56 0a 00 5e 00 6d 0c 00 50 00 6e 01 00 2b 28 29 va/lang/Object;)V..^.m..P.n..+()
0660 4c 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 67 2f 74 72 61 6e 73 6c 61 74 6f 72 2f 41 34 Ledu/mit/csail/sdg/translator/A4
0680 53 6f 6c 75 74 69 6f 6e 3b 07 00 70 01 00 0e 61 6c 6c 6f 79 2f 52 75 6e 41 6c 6c 6f 79 01 00 04 Solution;..p...alloy/RunAlloy...
06a0 43 6f 64 65 01 00 0f 4c 69 6e 65 4e 75 6d 62 65 72 54 61 62 6c 65 01 00 04 6d 61 69 6e 01 00 16 Code...LineNumberTable...main...
06c0 28 5b 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 29 56 01 00 0d 53 74 61 63 6b 4d 61 ([Ljava/lang/String;)V...StackMa
06e0 70 54 61 62 6c 65 07 00 77 01 00 10 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 07 00 79 01 pTable..w...java/lang/String..y.
0700 00 13 5b 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 01 00 0a 45 78 63 65 70 74 69 6f ..[Ljava/lang/String;...Exceptio
0720 6e 73 07 00 7c 01 00 1c 65 64 75 2f 6d 69 74 2f 63 73 61 69 6c 2f 73 64 67 2f 61 6c 6c 6f 79 34 ns..|...edu/mit/csail/sdg/alloy4
0740 2f 45 72 72 01 00 0a 53 6f 75 72 63 65 46 69 6c 65 01 00 0d 52 75 6e 41 6c 6c 6f 79 2e 6a 61 76 /Err...SourceFile...RunAlloy.jav
0760 61 01 00 10 42 6f 6f 74 73 74 72 61 70 4d 65 74 68 6f 64 73 0f 06 00 81 0a 00 82 00 83 07 00 84 a...BootstrapMethods............
0780 0c 00 24 00 85 01 00 24 6a 61 76 61 2f 6c 61 6e 67 2f 69 6e 76 6f 6b 65 2f 53 74 72 69 6e 67 43 ..$....$java/lang/invoke/StringC
07a0 6f 6e 63 61 74 46 61 63 74 6f 72 79 01 00 98 28 4c 6a 61 76 61 2f 6c 61 6e 67 2f 69 6e 76 6f 6b oncatFactory...(Ljava/lang/invok
07c0 65 2f 4d 65 74 68 6f 64 48 61 6e 64 6c 65 73 24 4c 6f 6f 6b 75 70 3b 4c 6a 61 76 61 2f 6c 61 6e e/MethodHandles$Lookup;Ljava/lan
07e0 67 2f 53 74 72 69 6e 67 3b 4c 6a 61 76 61 2f 6c 61 6e 67 2f 69 6e 76 6f 6b 65 2f 4d 65 74 68 6f g/String;Ljava/lang/invoke/Metho
0800 64 54 79 70 65 3b 4c 6a 61 76 61 2f 6c 61 6e 67 2f 53 74 72 69 6e 67 3b 5b 4c 6a 61 76 61 2f 6c dType;Ljava/lang/String;[Ljava/l
0820 61 6e 67 2f 4f 62 6a 65 63 74 3b 29 4c 6a 61 76 61 2f 6c 61 6e 67 2f 69 6e 76 6f 6b 65 2f 43 61 ang/Object;)Ljava/lang/invoke/Ca
0840 6c 6c 53 69 74 65 3b 08 00 87 01 00 03 01 01 0a 01 00 0c 49 6e 6e 65 72 43 6c 61 73 73 65 73 01 llSite;............InnerClasses.
0860 00 09 53 61 74 53 6f 6c 76 65 72 07 00 8b 01 00 25 6a 61 76 61 2f 6c 61 6e 67 2f 69 6e 76 6f 6b ..SatSolver.....%java/lang/invok
0880 65 2f 4d 65 74 68 6f 64 48 61 6e 64 6c 65 73 24 4c 6f 6f 6b 75 70 07 00 8d 01 00 1e 6a 61 76 61 e/MethodHandles$Lookup......java
08a0 2f 6c 61 6e 67 2f 69 6e 76 6f 6b 65 2f 4d 65 74 68 6f 64 48 61 6e 64 6c 65 73 01 00 06 4c 6f 6f /lang/invoke/MethodHandles...Loo
08c0 6b 75 70 00 21 00 6f 00 02 00 00 00 00 00 02 00 01 00 05 00 06 00 01 00 71 00 00 00 1d 00 01 00 kup.!.o.................q.......
08e0 01 00 00 00 05 2a b7 00 01 b1 00 00 00 01 00 72 00 00 00 06 00 01 00 00 00 0e 00 09 00 73 00 74 .....*.........r.............s.t
0900 00 02 00 71 00 00 01 6c 00 04 00 0b 00 00 00 bf 2a be 9e 00 0d 2a 03 32 b8 00 07 3c a7 00 05 02 ...q...l........*....*.2...<....
0920 3c bb 00 0d 59 b2 00 0f b7 00 15 4d 12 18 4e 2c b6 00 1a 99 00 11 2d 2c b6 00 1e ba 00 22 00 00 <...Y......M..N,......-,....."..
0940 4e a7 ff ee bb 00 26 59 b7 00 28 3a 04 19 04 2d b8 00 29 3a 05 bb 00 2f 59 b7 00 31 3a 06 19 06 N.....&Y..(:...-..):.../Y..1:...
0960 04 b5 00 32 19 06 b2 00 36 b5 00 3c 19 05 b9 00 3f 01 00 b6 00 45 3a 07 19 07 b9 00 4b 01 00 99 ...2....6..<....?....E:.....K...
0980 00 4f 19 07 b9 00 4e 01 00 c0 00 52 3a 08 03 36 09 19 04 19 05 b9 00 54 01 00 19 08 19 06 b8 00 .O....N....R:..6.......T........
09a0 57 3a 0a 1b 15 09 9f 00 25 19 0a b6 00 5d 99 00 1d 19 0a b6 00 5d 99 00 0b b2 00 62 19 0a b6 00 W:......%....].......].....b....
09c0 66 19 0a b6 00 6c 3a 0a a7 ff db a7 ff ad b1 00 00 00 02 00 72 00 00 00 56 00 15 00 00 00 12 00 f....l:.............r...V.......
09e0 05 00 13 00 0f 00 15 00 11 00 18 00 1c 00 19 00 1f 00 1a 00 26 00 1b 00 34 00 1e 00 3d 00 1f 00 ....................&...4...=...
0a00 45 00 21 00 4e 00 22 00 54 00 23 00 5c 00 25 00 7e 00 26 00 81 00 27 00 93 00 28 00 a1 00 29 00 E.!.N.".T.#.\.%.~.&...'...(...).
0a20 a9 00 2a 00 b1 00 2c 00 bb 00 2e 00 be 00 2f 00 75 00 00 00 3f 00 09 0f fc 00 01 01 fd 00 0d 07 ..*...,......./.u...?...........
0a40 00 0d 07 00 76 14 ff 00 33 00 08 07 00 78 01 07 00 0d 07 00 76 07 00 26 07 00 40 07 00 2f 07 00 ....v...3....x......v..&..@../..
0a60 4c 00 00 fe 00 2a 07 00 52 01 07 00 5e 1d f8 00 09 fa 00 02 00 7a 00 00 00 04 00 01 00 7b 00 03 L....*..R...^........z.......{..
0a80 00 7d 00 00 00 02 00 7e 00 7f 00 00 00 08 00 01 00 80 00 01 00 86 00 88 00 00 00 12 00 02 00 37 .}.....~.......................7
0aa0 00 2f 00 89 00 19 00 8a 00 8c 00 8e 00 19 ./............