• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• Alloy2BParser.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.

de.hhu.stups.alloy2b.translation.Alloy2BParser.class Maven / Gradle / Ivy

????4?
.de/hhu/stups/alloy2b/translation/Alloy2BParser

alloy2b/java/lang/Object
Alloy2BParser.kt
Lalloy2b/kotlin/Metadata;
mv


bv

k
d1

???^

??


??
!



??





??





??



????20
B¢J02	0J
020
HJ020HJ020HJ020HJ02	0HJ02000HJ020HJ
 *
0020HJ020HJ020HJ020 HR0X‚¢
??R00X‚¢
??¨!
d2
0Lde/hhu/stups/alloy2b/translation/Alloy2BParser;

()V
expressionTranslator
5Lde/hhu/stups/alloy2b/translation/ExpressionToProlog;
orderedSignatures
alloyToPrologTerm
alloyModelPath
collectPropertiesFromInclude
it
ALalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule$Open;
#collectSignatureOptionsToPrologList
astNode
2Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig;
createSigScopeTuple
scope
;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/CommandScope;
isExtendingSignature
sig
realPath
toPrologTerm
'Lalloy2b/edu/mit/csail/sdg/alloy4/Pair;
3Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;
6Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Command;
alloy2b.kotlin.jvm.PlatformType
3Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Func;
translateModule
module
;
X(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule;)Lalloy2b/java/lang/String;
:alloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModuleL
getModelName
()Lalloy2b/java/lang/String;NO
MP
module.modelNameR
&alloy2b/kotlin/jvm/internal/IntrinsicsT
checkExpressionValueIsNotNull
7(Lalloy2b/java/lang/Object;Lalloy2b/java/lang/String;)VVW
UX
-de/hhu/stups/alloy2b/translation/ParserUtilKtZ
sanitizeIdentifier
6(Lalloy2b/java/lang/String;)Lalloy2b/java/lang/String;\]
[^
getAllFacts
-()Lalloy2b/edu/mit/csail/sdg/alloy4/SafeList;`a
Mb
module.allFactsd
alloy2b/java/lang/Iterablef

,h
alloy2b/java/lang/CharSequencej

3(Lde/hhu/stups/alloy2b/translation/Alloy2BParser;)Vlm
0n
&alloy2b/kotlin/jvm/functions/Function1p
(alloy2b/kotlin/collections/CollectionsKtr
joinToString$default
?(Lalloy2b/java/lang/Iterable;Lalloy2b/java/lang/CharSequence;Lalloy2b/java/lang/CharSequence;Lalloy2b/java/lang/CharSequence;ILalloy2b/java/lang/CharSequence;Lalloy2b/kotlin/jvm/functions/Function1;ILalloy2b/java/lang/Object;)Lalloy2b/java/lang/String;tu
sv
getAllAssertions
.()Lalloy2b/edu/mit/csail/sdg/alloy4/ConstList;xy
Mz
module.allAssertions|
2n
getAllCommandsy
M?
module.allCommands?
4n

getAllFunc?a
M?
module.allFunc?
6n

getAllSigs?a
M?
module.allSigs?
8n
alloy2b/java/lang/StringBuilder?l
??
alloy_model(?
append
=(Lalloy2b/java/lang/String;)Lalloy2b/java/lang/StringBuilder;??
??
,facts([?
]),assertions([?

]),commands([?
]),?
functions([?
]),signatures([?
ordered_signatures(?I	?
java/util/ArrayList?
collectionSizeOrDefault
 (Lalloy2b/java/lang/Iterable;I)I??
s?
(I)Vl?
??
java/util/Collection?
iterator
()Ljava/util/Iterator;??g?
alloy2b/java/lang/String?
java/util/Iterator?
hasNext
()Z????
next
()Lalloy2b/java/lang/Object;????
$(C)Lalloy2b/java/lang/StringBuilder;??
??
toString?O
??
add
(Lalloy2b/java/lang/Object;)Z????
java/util/List?
=(Lalloy2b/java/lang/Object;)Lalloy2b/java/lang/StringBuilder;??
??
))?
Lalloy2b/java/lang/String;
)$i$a$-map-Alloy2BParser$translateModule$1

I

item$iv$iv
Lalloy2b/java/lang/Object;
$receiver$iv$iv
Lalloy2b/java/lang/Iterable;
destination$iv$iv
Ljava/util/Collection;

$i$f$mapTo
$receiver$iv
$i$f$map
listOfSignatures
listOfFunctions
listOfCommands
listOfAssertions
listOfFacts
name
this
'alloy2b/java/lang/IllegalStateException?
:?
getClass
()Lalloy2b/java/lang/Class;??
?
alloy2b/java/lang/Class?
getResource
*(Lalloy2b/java/lang/String;)Ljava/net/URL;??
??
/object {}.javaClass.getResource(alloyModelPath)?
java/net/URL?
getFile?O
??
4object {}.javaClass.getR…urce(alloyModelPath).file?
	exception
)Lalloy2b/java/lang/IllegalStateException;
D(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule$Open;)V

util/ordering

?alloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule$Open

filename
?	


areEqual
7(Lalloy2b/java/lang/Object;Lalloy2b/java/lang/Object;)Z



U

args
,Lalloy2b/edu/mit/csail/sdg/alloy4/ConstList;

	


it.args

this/

alloy2b/kotlin/text/StringsKt

replace$default
?(Lalloy2b/java/lang/String;Lalloy2b/java/lang/String;Lalloy2b/java/lang/String;ZILalloy2b/java/lang/Object;)Lalloy2b/java/lang/String;





addAll
(Ljava/util/Collection;)Z

?
 
alias
"?	

#
it.alias
%??
I$i$a$-map-Alloy2BParser$collectPropertiesFromInclude$prefixedSignatures$1
prefixedSignatures
$alloy2b/edu/mit/csail/sdg/alloy4/Err
*
+Lalloy2b/org/jetbrains/annotations/NotNull;
checkParameterIsNotNull
.W
U
/
clear
1?
2$]

4
+alloy2b/edu/mit/csail/sdg/alloy4/A4Reporter
6

7?
8alloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompUtil
9
parseEverything_fromFile
?(Lalloy2b/edu/mit/csail/sdg/alloy4/A4Reporter;Ljava/util/Map;Lalloy2b/java/lang/String;)Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule;
;
<

:
=
astRoot
?
getOpens
Ay
M
B

astRoot.opens
D


F
getAllReachableModules
Ha
M
I
astRoot.allReachableModules
K
<n

getRootModule
>()Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule;
N
O
M
P
astRoot.rootModule
R
astRoot.rootModule.modelName
T
alloy(
V
,[
X
]).
Z
alloy2b/java/lang/Throwable
\
/$i$a$-forEach-Alloy2BParser$alloyToPrologTerm$1

element$iv
$i$f$forEach

rootModule
modules
&Lalloy2b/edu/mit/csail/sdg/alloy4/Err;
path
C(Lalloy2b/edu/mit/csail/sdg/alloy4/Pair;)Lalloy2b/java/lang/String;
?(Lalloy2b/edu/mit/csail/sdg/alloy4/Pair;)Lalloy2b/java/lang/String;
fact(
g
%alloy2b/edu/mit/csail/sdg/alloy4/Pair
i

b
k?	
j
l
1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr
n	
p
8alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/VisitReturn
r
accept
V(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/VisitReturn;)Lalloy2b/java/lang/Object;
t
u

o
v
,(
x
pos
&Lalloy2b/edu/mit/csail/sdg/alloy4/Pos;
z
{	
o
|
$alloy2b/edu/mit/csail/sdg/alloy4/Pos
~

x
??	

?
alloy2b/java/lang/Integer
?
valueOf
(I)Lalloy2b/java/lang/Integer;
?
?

?
?

y
??	

?
R(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Command;)Lalloy2b/java/lang/String;
4alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Command
?
check

Z
?
?	
?
?
?
run
? 
	
?
?

astNode.scope
?

asSequence
A(Lalloy2b/java/lang/Iterable;)Lalloy2b/kotlin/sequences/Sequence;
?
?
s
?
INSTANCE
KLde/hhu/stups/alloy2b/translation/Alloy2BParser$toPrologTerm$exactScopes$1;
?
?	>
?
$alloy2b/kotlin/sequences/SequencesKt
?
filter
p(Lalloy2b/kotlin/sequences/Sequence;Lalloy2b/kotlin/jvm/functions/Function1;)Lalloy2b/kotlin/sequences/Sequence;
?
?

?
?
@n
map
?
?

?
?
toList
5(Lalloy2b/kotlin/sequences/Sequence;)Ljava/util/List;
?
?

?
?
PLde/hhu/stups/alloy2b/translation/Alloy2BParser$toPrologTerm$upperBoundScopes$1;
?
?	B
?
Dn
formula
?'	
?
?
,global_scope(
?
overall
??	
?
?
$(I)Lalloy2b/java/lang/StringBuilder;?
?
?
?
),
?

exact_scopes(
?
upper_bound_scopes(
?
	bitwidth(
?
bitwidth
??	
?
?
	),maxseq(
?
maxseq
??	
?
?
),pos(
?	
?
|
upperBoundScopes
exactScopes
functor
W(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/CommandScope;)Lalloy2b/java/lang/String;
9alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/CommandScope
?#	
?
?
0alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig
?
label
??	
?
?
scope.sig.label
?

startingScope
??	
?
?
O(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Func;)Lalloy2b/java/lang/String;
1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Func
?
isPred
?
?	
?
?
	predicate
?
function
?	
?
?

astNode.label
?
params
()Ljava/util/List;
?
?

?
?
astNode.params()
?
4alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprVar
?
O(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Lalloy2b/java/lang/String;%
?

?
decls
?
	
?
?

astNode.decls
?
1alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Decl

3de/hhu/stups/alloy2b/translation/ExpressionToProlog
O(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Decl;)Lalloy2b/java/lang/String;%

getBody
5()Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;	

?

astNode.body
,pos(	
?
|
6Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/ExprVar;
&$i$a$-map-Alloy2BParser$toPrologTerm$1
3Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Decl;
&$i$a$-map-Alloy2BParser$toPrologTerm$2
N(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig;)Lalloy2b/java/lang/String;

signature(

getFieldDeclsa

?
astNode.fieldDecls
Fn
],
getFacts a

?!

astNode.facts#
Hn
&	
?
|
??
contains*??+
ordered-

isAbstract/
{	
?0
abstract2
isEnum4
{	
?5
enum7
isLone9
{	
?:
lone<
isMeta>
{	
??
metaA
isOneC
{	
?D
oneF
	isPrivateH
{	
?I
privateK
isSomeM
{	
?N
someP
isSubsetR
{	
?S
subset(U
 alloy2b/kotlin/TypeCastExceptionW
Wnull cannot be cast to non-null type edu.mit.csail.sdg.alloy4compiler.ast.Sig.SubsetSigY
(Lalloy2b/java/lang/String;)Vl[
X\
:alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$SubsetSig^
parents`
	_a
"(astNode as Sig.SubsetSig).parentsc
it.labele
5(Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig;)Z"g
h
subsig(j
Unull cannot be cast to non-null type edu.mit.csail.sdg.alloy4compiler.ast.Sig.PrimSigl
8alloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSign
parent
:Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig$PrimSig;pq	or	o
?
%(astNode as Sig.PrimSig).parent.labelu
?
=$i$a$-map-Alloy2BParser$collectSignatureOptionsToPrologList$1

lstOptions
isSubsigz
{	
?{
x2}?	
~
y2??	
?
isSubSig
?
(Ljava/util/List;)Vl?
?
access$toPrologTerm
s(Lde/hhu/stups/alloy2b/translation/Alloy2BParser;Lalloy2b/edu/mit/csail/sdg/alloy4/Pair;)Lalloy2b/java/lang/String;%
e
?
$this
?(Lde/hhu/stups/alloy2b/translation/Alloy2BParser;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Command;)Lalloy2b/java/lang/String;%
?
?
(Lde/hhu/stups/alloy2b/translation/Alloy2BParser;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Func;)Lalloy2b/java/lang/String;%
?
?
~(Lde/hhu/stups/alloy2b/translation/Alloy2BParser;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Sig;)Lalloy2b/java/lang/String;%
?
access$translateModule
?(Lde/hhu/stups/alloy2b/translation/Alloy2BParser;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/parser/CompModule;)Lalloy2b/java/lang/String;+K
?
access$createSigScopeTuple
?(Lde/hhu/stups/alloy2b/translation/Alloy2BParser;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/CommandScope;)Lalloy2b/java/lang/String;
?
?
 access$getExpressionTranslator$p
g(Lde/hhu/stups/alloy2b/translation/Alloy2BParser;)Lde/hhu/stups/alloy2b/translation/ExpressionToProlog;
(Lde/hhu/stups/alloy2b/translation/Alloy2BParser;Lalloy2b/edu/mit/csail/sdg/alloy4compiler/ast/Expr;)Lalloy2b/java/lang/String;
	Signature
Code

StackMapTable
LineNumberTable
LocalVariableTable

Exceptions
RuntimeInvisibleAnnotations
$RuntimeInvisibleParameterAnnotations
InnerClasses

SourceFile
SourceDebugExtension
RuntimeVisibleAnnotations1I
?J+K
??	
?+?QYS?Y?_M+?cYe?Y?gi?k


?0Y*?o?q
?wN+?{Y}?Y?gi?k


?2Y*?~?q
?w:+??Y??Y?gi?k


?4Y*???q
?w:+??Y??Y?gi?k


?6Y*???q
?w:+??Y??Y?gi?k


?8Y*???q
?w:??Y?????,?????-???????????????????????????????*???g:::	??Y
??????:
	??
:??
?B??
:
??:
:6??Y??'??
??'?ȶ?:??W???
??:??ֶ??˰?8?
UM??????gg????H?>7869_:?;?<?=
>
*?
5?
L?
h?
v?
??
????
s?

v??
h3??
LT??	
LT??

LT??
5n??
5n???????
???
-??_
V??6
??
???
??
?,-
$]
??'?:Y???+??Y??Y??Y??YM?N+M,?
"??b????C
E"F#H%C? #


'?'?


?
??
+?
	?

??+?
Y
?Y?gN-:??Y-
??????:??
:??
?>??
:??::6	Y
?Y


?
:

??W?????M*??,???
!W*??+?
$Y
&?Y?
'W??,?:
gg???D?(
?2M
N?1?M?[N|???N?O?P?R?pX?[
(?	M/??1P??1P??1P??
h??h???#
)I???
]?
?	
?+
-?
0*???
3
*+?
5M?
7Y?
8
,?
>N-Y
@?Y?
CY
E?Y?g:??
:??
?'??
:?
:6*Y
?Y?
G???-?
JY
L?Y?gi?k


??
???%
????
?#?z?
??.?8???I?P?Z?a?k?r?|???????????????????
?
(?
C?
F?
^?
d?
l?
???p
%
(x?	
)???J???J???J??
?b???b??
?yI
??
?
"g
?,+?|M+?o?!,?,?
?,??,?
?,???????&
@
?
??? '?
{,?,#

l
?X&*??*L??Y?)??M+,??*?Y*?????
q??
34?
&???
?:*+????

??&
??
?:*+????

??(
??
?:*+????

??*
??
?:*+????

??
??
?:*+????

??,-
??
?:*+????

?? !
??
?/

*?
q??

?
???
?:*+?
???

??'
?j
02468:<>@BDFH??SMAP
Alloy2BParser.kt
Kotlin
*S Kotlin
*F
+ 1 Alloy2BParser.kt
de/hhu/stups/alloy2b/translation/Alloy2BParser
+ 2 _Collections.kt
kotlin/collections/CollectionsKt___CollectionsKt
*L
1#1,175:1
1301#2:176
1370#2,3:177
1301#2:180
1370#2,3:181
1574#2,2:184
1301#2:186
1370#2,3:187
1301#2:190
1370#2,3:191
1301#2:194
1370#2,3:195
*E
*S KotlinDebug
*F
+ 1 Alloy2BParser.kt
de/hhu/stups/alloy2b/translation/Alloy2BParser
*L
63#1:176
63#1,3:177
78#1:180
78#1,3:181
90#1,2:184
120#1:186
120#1,3:187
121#1:190
121#1,3:191
162#1:194
162#1,3:195
*E
??
[III	
[III
I[
s["sssssssssssssssssss s!s"ss#s$s%s&s's(s)s*s+s,s-s.