Skip to content

Instantly share code, notes, and snippets.

View jwalgemoed's full-sized avatar

Jarno Walgemoed jwalgemoed

View GitHub Profile
@ExperimentalContracts
fun main(args: Array<String>) {
var assign: String
val time = measureTimeMillis {
assign = "Value Assigned"
}
println("$time ms. spent assigning: '$assign'")
}
@ExperimentalContracts
fun main(args: Array<String>) {
var assign: String
val time = measureTimeMillis {
assign = "Value Assigned"
}
println("$time ms. spent assigning: '$assign!!'")
}
private inline fun measureTimeMillis(block: () -> Unit): Long {
val start = System.currentTimeMillis()
contract {
returns(true) implies (this@isComplete != null)
}
@ExperimentalContracts
fun User?.isComplete(): Boolean {
contract { returns(true) implies (this@isComplete != null) }
return this != null && this.isValid()
}
@jwalgemoed
jwalgemoed / usage2.kt
Last active September 14, 2018 09:59
fun printUserDetails(user: User?) {
if(user.isComplete()) {
println("${user!!.name} ${user!!.email}")
}
}
@jwalgemoed
jwalgemoed / use.kt
Last active September 14, 2018 13:39
fun printUserDetails(user: User?) {
if(user?.isValid()) {
println("${user.name} ${user.email}")
}
}
data class User(val name: String?, val email: String?) {
fun isValid() = !name.isNullOrBlank() && name.length > 3
&& !email.isNullOrBlank() && email.length > 3
}
var variable = returnValue(); // Type is inferred from the return type of the method
// Method declaration
public String returnValue() {
return "w00p";
}
var strings = Arrays.asList("a", "b", "c");
for(var str: strings) {
System.out.println(str);
}
// We can explicitly work against interfaces
List<String> list = new ArrayList(); // type: List<String>
// Using var, we can't do this without casting
var list = new ArrayList<String>(); // Inferred type ArrayList<String>
var list = (List)new ArrayList<String>(); // Inferred type List<String>