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

????2?
)alloy2b/edu/mit/csail/sdg/alloy4/SafeList

oLalloy2b/java/lang/Object;Ljava/io/Serializable;Lalloy2b/java/lang/Iterable;
alloy2b/java/lang/Object
java/io/Serializable
alloy2b/java/lang/Iterable

SafeList.java
3alloy2b/edu/mit/csail/sdg/alloy4/ConstList$TempList
*alloy2b/edu/mit/csail/sdg/alloy4/ConstList

TempList
+alloy2b/edu/mit/csail/sdg/alloy4/SafeList$1
serialVersionUID

J
list
Ljava/util/List;
Ljava/util/List;
max

I

()V

java/util/ArrayList
 	"	$
(I)V&
 '
(Ljava/util/Collection;)V
(Ljava/util/Collection<+TT;>;)V)
 +
(Lalloy2b/java/lang/Iterable;)V
%(Lalloy2b/java/lang/Iterable<+TT;>;)V
iterator
()Ljava/util/Iterator;/0	1
java/util/Iterator3
hasNext
()Z5647
next
()Lalloy2b/java/lang/Object;9:4;
java/util/List=
add
(Lalloy2b/java/lang/Object;)Z?@>A
(Ljava/util/List;I)V
(Ljava/util/List;I)V
dup
-()Lalloy2b/edu/mit/csail/sdg/alloy4/SafeList;
2()Lalloy2b/edu/mit/csail/sdg/alloy4/SafeList;
size
()IHI
JC
L
alloy2b/java/lang/ThrowableN
makeCopy
()Ljava/util/List;
()Ljava/util/List;
get
(I)Lalloy2b/java/lang/Object;ST>U
 A

makeConstList
.()Lalloy2b/edu/mit/csail/sdg/alloy4/ConstList;
3()Lalloy2b/edu/mit/csail/sdg/alloy4/ConstList;
'
Q(Lalloy2b/java/lang/Object;)Lalloy2b/edu/mit/csail/sdg/alloy4/ConstList$TempList;?\
]
	makeConst_Y
`
hashCode
1bI
d
equals>J>1f@
i
contains
(TT;)Z
/alloy2b/java/lang/UnsupportedOperationExceptionm
n
addAll
(Ljava/util/Collection;)Zpq>r
(I)TT;
+alloy2b/java/lang/IndexOutOfBoundsExceptionu
v
isEmpty
()Ljava/util/Iterator;
.(Lalloy2b/edu/mit/csail/sdg/alloy4/SafeList;)Vz
{
toString
()Lalloy2b/java/lang/String;
alloy2b/java/lang/StringBuilder

[?
(Lalloy2b/java/lang/String;)V?
??
, ?
append
=(Lalloy2b/java/lang/String;)Lalloy2b/java/lang/StringBuilder;??
??
(this collection)?
=(Lalloy2b/java/lang/Object;)Lalloy2b/java/lang/StringBuilder;??
??
$(C)Lalloy2b/java/lang/StringBuilder;??
??}~
??

access$000
.(Lalloy2b/edu/mit/csail/sdg/alloy4/SafeList;)I

access$100
=(Lalloy2b/edu/mit/csail/sdg/alloy4/SafeList;)Ljava/util/List;

ConstantValue
	Signature
Code
LineNumberTable

StackMapTable
InnerClasses

SourceFile1	
?
?

?9
*?*? Y?!?#*?%?
?789:
&
?:*?*? Y?(?#*?%?
?=>?@
)?:*?*? Y+?,?#*?%?
?CDEF?*
-?}:*?*? Y?!?#*?%+?2
M,?8
?,?<
N*?#-?BW?????	4??IJKL9M?.C?3*?*+?#*?%?
?PQ	RS?D
EF?\YL»Y*?#*?K?M+ðM+?,??
?
O?
W?G
PQ??=YL?*?K=? Y?(N6?-*?#?V?WW?
???-+ð:+??566:6?'?
 
??
O?\]
^_2`6a?R
XY??@YL?*?K=?Y?[N6?-*?#?V?^W?
???-?a+ð:+??899=9?'?

??
O?fg
hi2j9k?Z
bI
??.<*?cM,?8
?,?<
Nh-?
-?e?`?$+?>?g
=*?K??+?>?h
N?)+?? +??K=*?K??+??cN??*?c:6?2?<
:-?<
:?
???j???
?????.
?
??
?
?

4?4
?"???2x{/|S}U~[d?u?z??????
k@
?p.*?cM,?8
?!,?<
N-?	+??-+?j????????4??	??????,?
?@?h&YM?*?%??nY?o?*?#+?B,ìN,?-? !!$!??LO???!??l
p)?w*YM?*?%??nY?o?*?#+?sW,çN,?-??!$$'$??OO??????)??*
ST?p.YM?*?%?*?%??vY?w?*?#?V,ðN,?-?()),)??LO???)??t
HI
?n$YL?*?%?
*?%+ì*?#?g
+ìM+?,?"??KO????
x6
?0


*?K????@
?
?
/0?]YL»Y*?|+ðM+?,??
?
O?????y
}~
??V??Y???L=*?cN-?8
?5-?<
:?=?
+???W*?
+???W?
+??W???+]????????
4?????
??"?2?L???
?

*?%?
?
+??
?

*?#?
?
+???