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

????2
?
(alloy2b/edu/mit/csail/sdg/alloy4/MailBug

alloy2b/java/lang/Object
1alloy2b/java/lang/Thread$UncaughtExceptionHandler
alloy2b/java/lang/Runnable
MailBug.java
java/util/Map$Entry


java/util/Map
Entry
*alloy2b/edu/mit/csail/sdg/alloy4/MailBug$1
alloy2b/java/lang/Thread
UncaughtExceptionHandler
latestAlloyVersion

I
latestAlloyVersionName
Lalloy2b/java/lang/String;
	ALLOY_URL
!http://alloy.mit.edu/postbug4.php
	ALLOY_NOW
/http://alloy.mit.edu/alloy4/download/alloy4.txt
latestBuildNumber
()I	 
alloy2b/java/lang/Throwable"
latestBuildName
()Lalloy2b/java/lang/String;	&

()V()
*
setup
"getDefaultUncaughtExceptionHandler
5()Lalloy2b/java/lang/Thread$UncaughtExceptionHandler;-.
/
*
"setDefaultUncaughtExceptionHandler
6(Lalloy2b/java/lang/Thread$UncaughtExceptionHandler;)V23
4
(Lalloy2b/java/lang/Runnable;)V(6
7
start9)
:
dump
9(Lalloy2b/java/lang/Throwable;)Lalloy2b/java/lang/String;
alloy2b/java/lang/StringBuilder>
?*
getClass
()Lalloy2b/java/lang/Class;AB
C
append
=(Lalloy2b/java/lang/Object;)Lalloy2b/java/lang/StringBuilder;EF
?G
: I
=(Lalloy2b/java/lang/String;)Lalloy2b/java/lang/StringBuilder;EK
?L

getMessageN%
#O
$(C)Lalloy2b/java/lang/StringBuilder;EQ
?R

getStackTrace
(()[Lalloy2b/java/lang/StackTraceElement;TU
#V
&[Lalloy2b/java/lang/StackTraceElement;X
getCause
()Lalloy2b/java/lang/Throwable;Z[
#\

caused by...
^
toString`%
?a
alloy2b/java/lang/Stringc
trime%
df
isGUI
 (Lalloy2b/java/lang/Throwable;)Z
#alloy2b/java/lang/StackTraceElementj
getClassNamel%
km
java.o

startsWith
(Lalloy2b/java/lang/String;)Zqr
ds
javax.u
sun.w
prepareCrashReport
?(Lalloy2b/java/lang/Thread;Lalloy2b/java/lang/Throwable;Lalloy2b/java/lang/String;Lalloy2b/java/lang/String;)Lalloy2b/java/lang/String;
%java/util/prefs/BackingStoreException{
java/io/StringWriter}
~*
java/io/PrintWriter?
(Ljava/io/Writer;)V(?
??
1Alloy Analyzer %s crash report (Build Date = %s)
?
(alloy2b/edu/mit/csail/sdg/alloy4/Version?
version?%
??
	buildDate?%
??
printf
L(Lalloy2b/java/lang/String;[Lalloy2b/java/lang/Object;)Ljava/io/PrintWriter;??
??
A
========================= Email ============================
%s
?
%alloy2b/edu/mit/csail/sdg/alloy4/Util?
convertLineBreak
6(Lalloy2b/java/lang/String;)Lalloy2b/java/lang/String;??
??
A
========================= Problem ==========================
%s
?
A
========================= Thread Name ======================
%s
?
getName?%
?
A
========================= Stack Trace ======================
%s
?<=
?
>
========================= Preferences ======================
?
java/util/prefs/Preferences?
userNodeForPackage
8(Lalloy2b/java/lang/Class;)Ljava/util/prefs/Preferences;??
??
keys
()[Lalloy2b/java/lang/String;??
??
alloy2b/java/lang/String;?
?
get
P(Lalloy2b/java/lang/String;Lalloy2b/java/lang/String;)Lalloy2b/java/lang/String;??
??
%s = %s
?
#BackingStoreException occurred: %s
?
|a
>
========================= System Properties ================
?
Runtime.freeMemory() = ?
alloy2b/java/lang/Runtime?

getRuntime
()Lalloy2b/java/lang/Runtime;??
??

freeMemory
()J??
??
$(J)Lalloy2b/java/lang/StringBuilder;E?
??
println
(Lalloy2b/java/lang/String;)V??
??
nRuntime.totalMemory() = ?
totalMemory??
??
alloy2b/java/lang/System?

getProperties
()Ljava/util/Properties;??
??
java/util/Properties?
entrySet
()Ljava/util/Set;??
??

java/util/Set?
iterator
()Ljava/util/Iterator;????
java/util/Iterator?
hasNext
()Z????
next
()Lalloy2b/java/lang/Object;????
getKey???
valueOf
6(Lalloy2b/java/lang/Object;)Lalloy2b/java/lang/String;??
d?
getValue???
?
========================= The End ==========================

?
close

)
?

flush
)
~

~a
readAll
j(Lalloy2b/java/lang/String;Lalloy2b/java/lang/String;Lalloy2b/java/lang/String;)Lalloy2b/java/lang/String;
java/net/URL

(?



openConnection
()Ljava/net/URLConnection;





length

d

java/net/URLConnection

setDoOutput
(Z)V





getOutputStream
()Ljava/io/OutputStream;





UTF-8

getBytes
(Lalloy2b/java/lang/String;)[B
!
"
d
#
java/io/OutputStream
%
write
([B)V
'
(

&
)

&

java/io/BufferedInputStream
,
java/io/InputStream
.
getInputStream
()Ljava/io/InputStream;
0
1


2
(Ljava/io/InputStream;)V(
4

-
5
read
7

-
8
(Ljava/io/Closeable;)Z


:
?
;
run
9http://alloy.mit.edu/alloy4/download/alloy4.txt?buildnum=
>
buildNumber
@
?
A
$(I)Lalloy2b/java/lang/StringBuilder;E
C
?
D
&builddate=
F

	

H
Alloy Build 
J
charAt
(I)C
L
M
d
N
	substring
(I)Lalloy2b/java/lang/String;
P
Q
d
R
sendCrashReport
n(Lalloy2b/java/lang/Thread;Lalloy2b/java/lang/Throwable;Lalloy2b/java/lang/String;Lalloy2b/java/lang/String;)Vyz

V
mSorry. An error has occurred in posting the bug report.
Please email this report to [email protected] directly.


X
(Sending the bug report... please wait...
Z
javax/swing/border/LineBorder
\
java/awt/Color
^
GRAY
Ljava/awt/Color;
`
a	
_
b
(Ljava/awt/Color;)V(
d

]
e
(alloy2b/edu/mit/csail/sdg/alloy4/OurUtil
g
textarea
R(Lalloy2b/java/lang/String;IIZZ[Lalloy2b/java/lang/Object;)Ljavax/swing/JTextArea;
i
j

h
k
N(Lalloy2b/java/lang/String;Lalloy2b/java/lang/String;Ljavax/swing/JTextArea;)V(
m

n
*alloy2b/edu/mit/csail/sdg/alloy4/OurDialog
p
showmsg
8(Lalloy2b/java/lang/String;[Lalloy2b/java/lang/Object;)V
r
s

q
t
exit
(I)V
v
w
?
x
uncaughtException
:(Lalloy2b/java/lang/Thread;Lalloy2b/java/lang/Throwable;)Vhi

|
out
Ljava/io/PrintStream;
~
	?
?
java/io/PrintStream
?

?

err
?
	?
?
Exception: 
?

??
	Message: 
?
Stacktrace:
?
	DARK_GRAY
?
a	
_
?
	textfield
P(Lalloy2b/java/lang/String;I[Lalloy2b/java/lang/Object;)Ljavax/swing/JTextField;
?
?

h
?
javax/swing/border/EmptyBorder
?
(IIII)V(
?

?
?
java/awt/Dimension
?
(II)V(
?

?
?

scrollpane
J(Ljava/awt/Component;[Lalloy2b/java/lang/Object;)Ljavax/swing/JScrollPane;
?
?

h
?
javax/swing/JTextField
?
javax/swing/JTextArea
?
javax/swing/JScrollPane
?
$alloy2b/java/lang/StackOverflowError
?
5Sorry. The Alloy Analyzer has run out of stack space.
?

 
?
1Try simplifying your model or reducing the scope.
?
+And try reducing Options->SkolemDepth to 0.
?
"And try increasing Options->Stack.
?
UThere is no way for Alloy to continue execution, so pressing OK will shut down Alloy.
?
fatal
(Lalloy2b/java/lang/Object;)V
?
?

q
?
"alloy2b/java/lang/OutOfMemoryError
?
0Sorry. The Alloy Analyzer has run out of memory.
?
#And try increasing Options->Memory.
?
"Sorry. A fatal error has occurred.
?
You are running Alloy Analyzer 
?
&but the most recent is Alloy Analyzer 
?
+Please try to upgrade to the newest version
?
+as the problem may have already been fixed.
?
+Sorry. A fatal internal error has occurred.
?
'You may submit a bug report (via HTTP).
?
)The error report will include your system
?
(configuration, but no other information.
?
)If you'd like to be notified about a fix,
?
9please describe the problem and enter your email address.
?
Email:
?
alloy2b/java/lang/Integer
?
(I)Lalloy2b/java/lang/Integer;?
?

?
?
makeHT
1([Lalloy2b/java/lang/Object;)Ljavax/swing/JPanel;
?
?

h
?
Problem:
?
Send the Bug Report
?
Don't Send the Bug Report
?
yesno
Q(Lalloy2b/java/lang/Object;Lalloy2b/java/lang/String;Lalloy2b/java/lang/String;)Z
?
?

q
?
getText
?%

?
?

?
?
T
U

?

access$000

unknown
?

ConstantValue
Code

StackMapTable
LineNumberTable
InnerClasses

SourceFile1



?

?
	

?MYK²!*ìL*?+?

?
?

#
?
7	$%

?MYK²'*ðL*?+?

?
?

#
?
:()

?

*?+?

?
=	,)

?P
?0???Y?1K*?5?Y*?8?;?
?

?ABCDE	<=

??j??Y?@L*?Y+*?D?HJ?M*?P?M
?SW*?WM,?#,?>6?+,2?H
?SW?
???*?]K*?
+_?MW???+?b?g?
????,Y

??
?&	IJK&L+MONTO_PbQ
hi

??S*?P*?WL+??+?=>?1+2?n:p?t?v?t?x?t???
???*?]K????
??YA
?

,??
?&	Z[	\]#^C\I`NaQb
yz

?h
??~Y?:??Y??:??Y??SY??S??W??Y,???gS??W??Y-???gS??W??Y*???gS??W+???Y+??S??W????W?????:?66?:2:	???	???:
??Y	?gSY
?gS??W?
??ŧ:??Y???gS??W????W??Y?@¶M?ȶ̶϶b????Y?@նM?ȶض϶b?Ӹ޶??
:??
?F??
?:??
??:??
??:	??Y?gSY	?gS??W???
???W?
?
?
?
???|
?$??~???

?=B|?R??L
?jg	hi,jBkXlnm?n?p?q?r?p?v?t?u?w
	x
&y
Cz
f{
~|
?}
?~
?
??
??


	

??
N
:
:?
Y*?

?
:+?++?
?$?
?
:+
 ?
$?
*?
+
:?
3:?
-Y?
6N??Y?@:-?
9Y6	?	?	????SW????b??:-?
?A?H?R?[?}?????????????????????????????

=)

?
@???Y?@
??M?
B?
E
G?M???M?b???
IL+
K?t??=>6+?
6??+?
O60?
9???+?
S?gL?>
h0d`=?
???Y:?+?'?!ç:?????????
?>
?5d?d



?
???d


#?
?6
?*?5?7?9?B?J?R?t?v???????

T
U

??x*+,-?
W:??Y?@
Y?M+???M?b:
[
(?Y?
]Y?
c?
fS?
l:?Y?Y?
o?8?;
[?YS?
u?
y?:?
y??gnnpn
?	?n#
?&	?	?"?A?X?g?k?n?w?

z
{

?\{,?
}??Y:²!>?':ç:??,?_?
??
??
??
??
???Y?@
??M,?D?H?b?
??
???Y?@
??M,?H?b?
??
?
??
??
?,???
??
??
???Y?
]Y?
??
fS?
?:?22?Y?
?Y?
?S?
l:?Y?
]Y?
??
fSY?
?Y
,ȷ
?S?
?:	,:

??
?
??6?Y
?SY
?SY
?SY
?SY
?SY
?SY
?S?
?
?
??6?Y
?SY
?SY
?SY
?SY
?SY
?SY
?S?
?
?]:
??~?
B?i	?Y
?SY
?SY??Y?@
ŶM???M?bSY??Y?@
ǶM?M?bSY
?SY
?SY
?SY
?SY
?S?
??Y
?SY
?SY
?SY
?SY
?SY
?SY
?SY
?SY
?SY	?Y
?SY?
?SYSY
S?
?SY
?Y
?SY?
?SY	SY
S?
?S
?
?
?+,?
??
?
??
y?"
?_
?#
#?#
d?_?c#
d
?
?
?#?:?	?l??
?Z??%?)?/?5?R?l?u????????????
)?
d?
n?
?
g
v
z

?
	

?*+,?
I?

?
(
?)

?'
?!
??'?

?
+.
?
		
?