SimpleEffect.smali
1.4 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
.class public interface abstract Lkotlin/contracts/SimpleEffect;
.super Ljava/lang/Object;
.source "Effect.kt"
# interfaces
.implements Lkotlin/contracts/Effect;
# annotations
.annotation runtime Lkotlin/Metadata;
bv = {
0x1,
0x0,
0x3
}
d1 = {
"\u0000\u0016\n\u0002\u0018\u0002\n\u0002\u0018\u0002\n\u0000\n\u0002\u0018\u0002\n\u0000\n\u0002\u0010\u000b\n\u0000\u0008g\u0018\u00002\u00020\u0001J\u0011\u0010\u0002\u001a\u00020\u00032\u0006\u0010\u0004\u001a\u00020\u0005H\u00a7\u0004\u00a8\u0006\u0006"
}
d2 = {
"Lkotlin/contracts/SimpleEffect;",
"Lkotlin/contracts/Effect;",
"implies",
"Lkotlin/contracts/ConditionalEffect;",
"booleanExpression",
"",
"kotlin-stdlib"
}
k = 0x1
mv = {
0x1,
0x1,
0xf
}
.end annotation
.annotation build Lkotlin/SinceKotlin;
version = "1.3"
.end annotation
.annotation build Lkotlin/contracts/ExperimentalContracts;
.end annotation
.annotation build Lkotlin/internal/ContractsDsl;
.end annotation
# virtual methods
.method public abstract implies(Z)Lkotlin/contracts/ConditionalEffect;
.annotation build Lkotlin/contracts/ExperimentalContracts;
.end annotation
.annotation build Lkotlin/internal/ContractsDsl;
.end annotation
.annotation build Lorg/jetbrains/annotations/NotNull;
.end annotation
.end method