ADD week 5
This commit is contained in:
9
02-Easy5/E5/sources/kotlin/contracts/CallsInPlace.java
Normal file
9
02-Easy5/E5/sources/kotlin/contracts/CallsInPlace.java
Normal file
@ -0,0 +1,9 @@
|
||||
package kotlin.contracts;
|
||||
|
||||
import kotlin.Metadata;
|
||||
|
||||
/* compiled from: Effect.kt */
|
||||
@Metadata(d1 = {"\u0000\n\n\u0002\u0018\u0002\n\u0002\u0018\u0002\n\u0000\bg\u0018\u00002\u00020\u0001¨\u0006\u0002"}, d2 = {"Lkotlin/contracts/CallsInPlace;", "Lkotlin/contracts/Effect;", "kotlin-stdlib"}, k = 1, mv = {1, 8, 0}, xi = 48)
|
||||
/* loaded from: classes.dex */
|
||||
public interface CallsInPlace extends Effect {
|
||||
}
|
@ -0,0 +1,9 @@
|
||||
package kotlin.contracts;
|
||||
|
||||
import kotlin.Metadata;
|
||||
|
||||
/* compiled from: Effect.kt */
|
||||
@Metadata(d1 = {"\u0000\n\n\u0002\u0018\u0002\n\u0002\u0018\u0002\n\u0000\bg\u0018\u00002\u00020\u0001¨\u0006\u0002"}, d2 = {"Lkotlin/contracts/ConditionalEffect;", "Lkotlin/contracts/Effect;", "kotlin-stdlib"}, k = 1, mv = {1, 8, 0}, xi = 48)
|
||||
/* loaded from: classes.dex */
|
||||
public interface ConditionalEffect extends Effect {
|
||||
}
|
31
02-Easy5/E5/sources/kotlin/contracts/ContractBuilder.java
Normal file
31
02-Easy5/E5/sources/kotlin/contracts/ContractBuilder.java
Normal file
@ -0,0 +1,31 @@
|
||||
package kotlin.contracts;
|
||||
|
||||
import kotlin.Function;
|
||||
import kotlin.Metadata;
|
||||
|
||||
/* compiled from: ContractBuilder.kt */
|
||||
@Metadata(d1 = {"\u0000,\n\u0002\u0018\u0002\n\u0002\u0010\u0000\n\u0000\n\u0002\u0018\u0002\n\u0002\b\u0002\n\u0002\u0018\u0002\n\u0000\n\u0002\u0018\u0002\n\u0000\n\u0002\u0018\u0002\n\u0002\b\u0002\n\u0002\u0018\u0002\n\u0000\bg\u0018\u00002\u00020\u0001J&\u0010\u0002\u001a\u00020\u0003\"\u0004\b\u0000\u0010\u00042\f\u0010\u0005\u001a\b\u0012\u0004\u0012\u0002H\u00040\u00062\b\b\u0002\u0010\u0007\u001a\u00020\bH'J\b\u0010\t\u001a\u00020\nH'J\u0012\u0010\t\u001a\u00020\n2\b\u0010\u000b\u001a\u0004\u0018\u00010\u0001H'J\b\u0010\f\u001a\u00020\rH'¨\u0006\u000e"}, d2 = {"Lkotlin/contracts/ContractBuilder;", "", "callsInPlace", "Lkotlin/contracts/CallsInPlace;", "R", "lambda", "Lkotlin/Function;", "kind", "Lkotlin/contracts/InvocationKind;", "returns", "Lkotlin/contracts/Returns;", "value", "returnsNotNull", "Lkotlin/contracts/ReturnsNotNull;", "kotlin-stdlib"}, k = 1, mv = {1, 8, 0}, xi = 48)
|
||||
/* loaded from: classes.dex */
|
||||
public interface ContractBuilder {
|
||||
<R> CallsInPlace callsInPlace(Function<? extends R> lambda, InvocationKind kind);
|
||||
|
||||
Returns returns();
|
||||
|
||||
Returns returns(Object value);
|
||||
|
||||
ReturnsNotNull returnsNotNull();
|
||||
|
||||
/* compiled from: ContractBuilder.kt */
|
||||
@Metadata(k = 3, mv = {1, 8, 0}, xi = 48)
|
||||
public static final class DefaultImpls {
|
||||
public static /* synthetic */ CallsInPlace callsInPlace$default(ContractBuilder contractBuilder, Function function, InvocationKind invocationKind, int i, Object obj) {
|
||||
if (obj != null) {
|
||||
throw new UnsupportedOperationException("Super calls with default arguments not supported in this target, function: callsInPlace");
|
||||
}
|
||||
if ((i & 2) != 0) {
|
||||
invocationKind = InvocationKind.UNKNOWN;
|
||||
}
|
||||
return contractBuilder.callsInPlace(function, invocationKind);
|
||||
}
|
||||
}
|
||||
}
|
15
02-Easy5/E5/sources/kotlin/contracts/ContractBuilderKt.java
Normal file
15
02-Easy5/E5/sources/kotlin/contracts/ContractBuilderKt.java
Normal file
@ -0,0 +1,15 @@
|
||||
package kotlin.contracts;
|
||||
|
||||
import kotlin.Metadata;
|
||||
import kotlin.Unit;
|
||||
import kotlin.jvm.functions.Function1;
|
||||
import kotlin.jvm.internal.Intrinsics;
|
||||
|
||||
/* compiled from: ContractBuilder.kt */
|
||||
@Metadata(d1 = {"\u0000\u0016\n\u0000\n\u0002\u0010\u0002\n\u0000\n\u0002\u0018\u0002\n\u0002\u0018\u0002\n\u0002\u0018\u0002\n\u0000\u001a%\u0010\u0000\u001a\u00020\u00012\u0017\u0010\u0002\u001a\u0013\u0012\u0004\u0012\u00020\u0004\u0012\u0004\u0012\u00020\u00010\u0003¢\u0006\u0002\b\u0005H\u0087\bø\u0001\u0000\u0082\u0002\u0007\n\u0005\b\u009920\u0001¨\u0006\u0006"}, d2 = {"contract", "", "builder", "Lkotlin/Function1;", "Lkotlin/contracts/ContractBuilder;", "Lkotlin/ExtensionFunctionType;", "kotlin-stdlib"}, k = 2, mv = {1, 8, 0}, xi = 48)
|
||||
/* loaded from: classes.dex */
|
||||
public final class ContractBuilderKt {
|
||||
private static final void contract(Function1<? super ContractBuilder, Unit> builder) {
|
||||
Intrinsics.checkNotNullParameter(builder, "builder");
|
||||
}
|
||||
}
|
9
02-Easy5/E5/sources/kotlin/contracts/Effect.java
Normal file
9
02-Easy5/E5/sources/kotlin/contracts/Effect.java
Normal file
@ -0,0 +1,9 @@
|
||||
package kotlin.contracts;
|
||||
|
||||
import kotlin.Metadata;
|
||||
|
||||
/* compiled from: Effect.kt */
|
||||
@Metadata(d1 = {"\u0000\n\n\u0002\u0018\u0002\n\u0002\u0010\u0000\n\u0000\bg\u0018\u00002\u00020\u0001¨\u0006\u0002"}, d2 = {"Lkotlin/contracts/Effect;", "", "kotlin-stdlib"}, k = 1, mv = {1, 8, 0}, xi = 48)
|
||||
/* loaded from: classes.dex */
|
||||
public interface Effect {
|
||||
}
|
@ -0,0 +1,18 @@
|
||||
package kotlin.contracts;
|
||||
|
||||
import java.lang.annotation.Documented;
|
||||
import java.lang.annotation.Retention;
|
||||
import java.lang.annotation.RetentionPolicy;
|
||||
import kotlin.Metadata;
|
||||
import kotlin.annotation.AnnotationRetention;
|
||||
import kotlin.annotation.MustBeDocumented;
|
||||
|
||||
/* compiled from: ContractBuilder.kt */
|
||||
@MustBeDocumented
|
||||
@Metadata(d1 = {"\u0000\n\n\u0002\u0018\u0002\n\u0002\u0010\u001b\n\u0000\b\u0087\u0002\u0018\u00002\u00020\u0001B\u0000¨\u0006\u0002"}, d2 = {"Lkotlin/contracts/ExperimentalContracts;", "", "kotlin-stdlib"}, k = 1, mv = {1, 8, 0}, xi = 48)
|
||||
@Documented
|
||||
@Retention(RetentionPolicy.CLASS)
|
||||
@kotlin.annotation.Retention(AnnotationRetention.BINARY)
|
||||
/* loaded from: classes.dex */
|
||||
public @interface ExperimentalContracts {
|
||||
}
|
13
02-Easy5/E5/sources/kotlin/contracts/InvocationKind.java
Normal file
13
02-Easy5/E5/sources/kotlin/contracts/InvocationKind.java
Normal file
@ -0,0 +1,13 @@
|
||||
package kotlin.contracts;
|
||||
|
||||
import kotlin.Metadata;
|
||||
|
||||
/* compiled from: ContractBuilder.kt */
|
||||
@Metadata(d1 = {"\u0000\f\n\u0002\u0018\u0002\n\u0002\u0010\u0010\n\u0002\b\u0006\b\u0087\u0001\u0018\u00002\b\u0012\u0004\u0012\u00020\u00000\u0001B\u0007\b\u0002¢\u0006\u0002\u0010\u0002j\u0002\b\u0003j\u0002\b\u0004j\u0002\b\u0005j\u0002\b\u0006¨\u0006\u0007"}, d2 = {"Lkotlin/contracts/InvocationKind;", "", "(Ljava/lang/String;I)V", "AT_MOST_ONCE", "AT_LEAST_ONCE", "EXACTLY_ONCE", "UNKNOWN", "kotlin-stdlib"}, k = 1, mv = {1, 8, 0}, xi = 48)
|
||||
/* loaded from: classes.dex */
|
||||
public enum InvocationKind {
|
||||
AT_MOST_ONCE,
|
||||
AT_LEAST_ONCE,
|
||||
EXACTLY_ONCE,
|
||||
UNKNOWN
|
||||
}
|
9
02-Easy5/E5/sources/kotlin/contracts/Returns.java
Normal file
9
02-Easy5/E5/sources/kotlin/contracts/Returns.java
Normal file
@ -0,0 +1,9 @@
|
||||
package kotlin.contracts;
|
||||
|
||||
import kotlin.Metadata;
|
||||
|
||||
/* compiled from: Effect.kt */
|
||||
@Metadata(d1 = {"\u0000\n\n\u0002\u0018\u0002\n\u0002\u0018\u0002\n\u0000\bg\u0018\u00002\u00020\u0001¨\u0006\u0002"}, d2 = {"Lkotlin/contracts/Returns;", "Lkotlin/contracts/SimpleEffect;", "kotlin-stdlib"}, k = 1, mv = {1, 8, 0}, xi = 48)
|
||||
/* loaded from: classes.dex */
|
||||
public interface Returns extends SimpleEffect {
|
||||
}
|
9
02-Easy5/E5/sources/kotlin/contracts/ReturnsNotNull.java
Normal file
9
02-Easy5/E5/sources/kotlin/contracts/ReturnsNotNull.java
Normal file
@ -0,0 +1,9 @@
|
||||
package kotlin.contracts;
|
||||
|
||||
import kotlin.Metadata;
|
||||
|
||||
/* compiled from: Effect.kt */
|
||||
@Metadata(d1 = {"\u0000\n\n\u0002\u0018\u0002\n\u0002\u0018\u0002\n\u0000\bg\u0018\u00002\u00020\u0001¨\u0006\u0002"}, d2 = {"Lkotlin/contracts/ReturnsNotNull;", "Lkotlin/contracts/SimpleEffect;", "kotlin-stdlib"}, k = 1, mv = {1, 8, 0}, xi = 48)
|
||||
/* loaded from: classes.dex */
|
||||
public interface ReturnsNotNull extends SimpleEffect {
|
||||
}
|
10
02-Easy5/E5/sources/kotlin/contracts/SimpleEffect.java
Normal file
10
02-Easy5/E5/sources/kotlin/contracts/SimpleEffect.java
Normal file
@ -0,0 +1,10 @@
|
||||
package kotlin.contracts;
|
||||
|
||||
import kotlin.Metadata;
|
||||
|
||||
/* compiled from: Effect.kt */
|
||||
@Metadata(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\bg\u0018\u00002\u00020\u0001J\u0011\u0010\u0002\u001a\u00020\u00032\u0006\u0010\u0004\u001a\u00020\u0005H§\u0004¨\u0006\u0006"}, d2 = {"Lkotlin/contracts/SimpleEffect;", "Lkotlin/contracts/Effect;", "implies", "Lkotlin/contracts/ConditionalEffect;", "booleanExpression", "", "kotlin-stdlib"}, k = 1, mv = {1, 8, 0}, xi = 48)
|
||||
/* loaded from: classes.dex */
|
||||
public interface SimpleEffect extends Effect {
|
||||
ConditionalEffect implies(boolean booleanExpression);
|
||||
}
|
Reference in New Issue
Block a user