expectedBy

Something

Somewhere

SomethingSomewhere

Error:(33, 0) Platform project project ':android' has more than one 'expectedBy' dependency: project ':common', project ':common-frontend'

expect

expect class Date() {

    companion object {
        val current: Double
    }
}

package com.careem.adma.booking.framework.Date

import platform.Foundation.*

actual class Date actual constructor () {
    actual companion object {
        actual val current: Double = NSDate.timeIntervalSince1970()
    }
}

error: unresolved reference. None of the following candidates is applicable because of receiver type mismatch: 
@ObjCMethod public external fun NSDate.timeIntervalSince1970(): NSTimeInterval /* = Double */ defined in platform.Foundation
        actual val current: Double = NSDate.timeIntervalSince1970()

//Kotlin class taking an array of functions
class Store (private val repositories: Map<String, Repository<*>>,
             private val middleware: List<Middleware> = emptyList()){

//The function definitions
typealias DispatchFunction = (cmd: Command) -> Unit
typealias Middleware = (dispatch: DispatchFunction, repositories: Map<String, Repository<*>>) -> (DispatchFunction) -> DispatchFunction

//The ObjC header file that is generated
-(instancetype)initWithRepositories:(NSDictionary<NSString*, id<PistachioRepository>>*)repositories middleware:(NSArray<PistachioStdlibUnit*(^)(id<PistachioCommand>)(^)(PistachioStdlibUnit*(^)(id<PistachioCommand>))(^)(PistachioStdlibUnit*(^)(id<PistachioCommand>), NSDictionary<NSString*, id<PistachioRepository>>*)>*)middleware NS_SWIFT_NAME(init(repositories:middleware:)) NS_DESIGNATED_INITIALIZER;

Pistachio.h:86:168: Block pointer to non-function type is invalid

Account

override fun put(obj: T): UUID {
        if (obj !is ObjCObject) { //Tried NSObject, NSObjectProtocol
            throw IllegalArgumentException("Object: $obj must be a subclass of NSObject.")
        }
        val objc = obj as ObjCObject
        val data = NSKeyedArchiver.archivedDataWithRootObject(objc) // Won't take obj so need to cast.
        ...
    }

    //Swift class
    class Account: NSObject {
    let name: String

    init(name: String) {
        self.name = name
    }
}

non-final Kotlin subclasses of Objective-C classes are not yet supported

dispatch_async

alloc

allocArray

staticLibraries

#ifndef _SEAHORN__H_
#define _SEAHORN__H_
#ifdef __cplusplus
extern "C" {
#endif        
extern void __VERIFIER_error (void);
extern void __VERIFIER_assume (int);
#ifdef __cplusplus
}
#endif

#define assume __VERIFIER_assume
#define sassert(X) (void)((X) || (__VERIFIER_error (), 0))
#endif