Skip to content

Example.md

Latest commit

 

History

History
630 lines (535 loc) · 12.6 KB

Example.md

File metadata and controls

630 lines (535 loc) · 12.6 KB
Raw

KFC vivo 50

import System.Console

fun main() {
    KFC vivo 50
}

object KFC

infix fun KFC.vivo(value: Int) {
    Console.WriteLine("KFC vivo $value")
}
public sealed class KFC : global::System.Object
{
    [global::kotlin.clr.KotlinNotNull]
    public static global::KFC INSTANCE { get; } = new global::KFC();

    private KFC() : base()
    {

    }
}

[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void main()
    {
        global::MainKt.vivo(global::KFC.INSTANCE, 50);
    }

    [global::kotlin.clr.KotlinExtension]
    public static void vivo([global::kotlin.clr.KotlinNotNull] global::KFC receiver, [global::kotlin.clr.KotlinNotNull] int value)
    {
        global::System.Console.WriteLine($"{("KFC vivo ")}{(value)}");
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}

Read from the standard input

fun main() {
    // Prints a message to request input
    println("Enter any word: ")

    // Reads and stores the user input. For example: Happiness
    val yourWord = readln()

    // Prints a message with the input
    print("You entered the word: ")
    print(yourWord)
    // You entered the word: Happiness
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void main()
    {
        global::kotlin.io.ConsoleKt.println("Enter any word: ");
        string yourWord = global::kotlin.io.ConsoleKt.readln();
        global::kotlin.io.ConsoleKt.print("You entered the word: ");
        global::kotlin.io.ConsoleKt.print(yourWord);
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}

Functions

fun main() {
    println("sum(1, 2) = ${sum(1, 2)}")
}

fun sum(a: Int, b: Int): Int {
    return a + b
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void main()
    {
        global::kotlin.io.ConsoleKt.println($"{("sum(1, 2) = ")}{(global::MainKt.sum(1, 2))}");
    }

    [global::kotlin.clr.KotlinNotNull]
    public static int sum([global::kotlin.clr.KotlinNotNull] int a, [global::kotlin.clr.KotlinNotNull] int b)
    {
        return (a) + (b);
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}
fun printSum(a: Int, b: Int): Unit {
    println("sum of $a and $b is ${a + b}")
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void printSum([global::kotlin.clr.KotlinNotNull] int a, [global::kotlin.clr.KotlinNotNull] int b)
    {
        global::kotlin.io.ConsoleKt.println($"{("sum of ")}{(a)}{(" and ")}{(b)}{(" is ")}{((a) + (b))}");
    }
}

Variables

val PI = 3.14
var x = 0

fun incrementX() {
    x += 1
}

fun main() {
    println("x = $x, PI = $PI")
    incrementX()
    println("x = $x, PI = $PI")
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    [global::kotlin.clr.KotlinNotNull]
    private static double PI_backingField;

    [global::kotlin.clr.KotlinNotNull]
    private static int x_backingField;

    [global::kotlin.clr.KotlinNotNull]
    public static double PI
    {
        get
        {
            return PI_backingField;
        }
    }

    [global::kotlin.clr.KotlinNotNull]
    public static int x
    {
        get
        {
            return x_backingField;
        }
        set
        {
            x_backingField = value;
        }
    }

    public static void incrementX()
    {
        global::MainKt.x = (global::MainKt.x) + (1);
    }

    public static void main()
    {
        global::kotlin.io.ConsoleKt.println($"{("x = ")}{(global::MainKt.x)}{(", PI = ")}{(global::MainKt.PI)}");
        global::MainKt.incrementX();
        global::kotlin.io.ConsoleKt.println($"{("x = ")}{(global::MainKt.x)}{(", PI = ")}{(global::MainKt.PI)}");
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}

Creating classes and instances

open class Shape

class Rectangle(val height: Double, val length: Double): Shape() {
    val perimeter = (height + length) * 2
}
public class Shape : global::System.Object
{
    public Shape() : base()
    {

    }
}

public sealed class Rectangle : global::Shape
{
    public Rectangle([global::kotlin.clr.KotlinNotNull] double height, [global::kotlin.clr.KotlinNotNull] double length) : base()
    {
        this.height_backingField = height;
        this.length_backingField = length;
        this.perimeter_backingField = (((this).height) + ((this).length)) * (2);
    }

    [global::kotlin.clr.KotlinNotNull]
    private double height_backingField;

    [global::kotlin.clr.KotlinNotNull]
    private double length_backingField;

    [global::kotlin.clr.KotlinNotNull]
    private double perimeter_backingField;

    [global::kotlin.clr.KotlinNotNull]
    public double height
    {
        get
        {
            return this.height_backingField;
        }
    }

    [global::kotlin.clr.KotlinNotNull]
    public double length
    {
        get
        {
            return this.length_backingField;
        }
    }

    [global::kotlin.clr.KotlinNotNull]
    public double perimeter
    {
        get
        {
            return this.perimeter_backingField;
        }
    }
}

String templates

fun main() {
    var a = 1
    // simple name in template:
    val s1 = "a is $a"

    a = 2
    // arbitrary expression in template:
    val s2 = "${s1.replace("is", "was")}, but now is $a"
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void main()
    {
        int a = 1;
        string s1 = $"{("a is ")}{(a)}";
        a = 2;
        string s2 = $"{(global::kotlin.text.TextH.replace(s1, "is", "was"))}{(", but now is ")}{(a)}";
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}

Conditional expressions

fun maxOf(a: Int, b: Int): Int {
    if (a > b) {
        return a
    } else {
        return b
    }
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    [global::kotlin.clr.KotlinNotNull]
    public static int maxOf([global::kotlin.clr.KotlinNotNull] int a, [global::kotlin.clr.KotlinNotNull] int b)
    {
        if ((a) > (b))
        {
            return a;
        }
        else
        {
            return b;
        }
    }
}
fun maxOf(a: Int, b: Int) = if (a > b) a else b
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    [global::kotlin.clr.KotlinNotNull]
    public static int maxOf([global::kotlin.clr.KotlinNotNull] int a, [global::kotlin.clr.KotlinNotNull] int b)
    {
        return ((a) > (b))
            ? (a)
            : (b);
    }
}

For loop

fun main() {
    val items = listOf("apple", "banana", "kiwifruit")
    for (item in items) {
        println(item)
    }
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void main()
    {
        global::System.Collections.Generic.IReadOnlyList<string> items = global::kotlin.collections.CollectionsKt.listOf<string>("apple", "banana", "kiwifruit");
        {
            global::kotlin.collections.KotlinIterator<string> iterator = new global::kotlin.collections.KotlinIteratorWrapper<string>((items).GetEnumerator());
            while ((iterator).hasNext())
            {
                string item = (iterator).next();
                {
                    global::kotlin.io.ConsoleKt.println(item);
                };
            };
        };
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}

群 U 提供

fun func(list: List<String>) {
    println("123")
}

fun main() {
    func(listOf<String>())
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void func([global::kotlin.clr.KotlinNotNull] global::System.Collections.Generic.IReadOnlyList<string> list)
    {
        global::kotlin.io.ConsoleKt.println("123");
    }

    public static void main()
    {
        global::MainKt.func(global::kotlin.collections.CollectionsKt.listOf<string>());
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}
class A(val a: String)

fun main() {
    val a = A("1")
    println(a.a)
}
public sealed class A : global::System.Object
{
    public A([global::kotlin.clr.KotlinNotNull] string a) : base()
    {
        this.a_backingField = a;
    }

    [global::kotlin.clr.KotlinNotNull]
    private string a_backingField;

    [global::kotlin.clr.KotlinNotNull]
    public string a
    {
        get
        {
            return this.a_backingField;
        }
    }
}

[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void main()
    {
        global::A a = new global::A("1");
        global::kotlin.io.ConsoleKt.println((a).a);
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}
fun main() {
    println(Any())
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void main()
    {
        global::kotlin.io.ConsoleKt.println(new global::System.Object());
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}
class A {
    var a: String = ""
        set(value) {
            println("$field -> $value")
            field = value
        }
}

fun main() {
    val a = A()
    a.a = "123"
}
public sealed class A : global::System.Object
{
    public A() : base()
    {
        this.a_backingField = "";
    }

    [global::kotlin.clr.KotlinNotNull]
    private string a_backingField;

    [global::kotlin.clr.KotlinNotNull]
    public string a
    {
        get
        {
            return this.a_backingField;
        }
        set
        {
            global::kotlin.io.ConsoleKt.println($"{(this.a_backingField)}{(" -> ")}{(value)}");
            this.a_backingField = value;
        }
    }
}

[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void main()
    {
        global::A a = new global::A();
        (a).a = "123";
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}
fun main() {
    val a: String? = null
    println(a)
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void main()
    {
        string? a = null;
        global::kotlin.io.ConsoleKt.println(a);
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}
fun main() {
    val a = 1
    println(a == 10)
    println(a != 10)
    println(a.equals(10))
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void main()
    {
        int a = 1;
        global::kotlin.io.ConsoleKt.println((a) == (10));
        global::kotlin.io.ConsoleKt.println(!((a) == (10)));
        global::kotlin.io.ConsoleKt.println((a).Equals(10));
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}
fun main() {
    var a = 1
    val s1 = "a is $a"

    a = 2
    val s2 = "${s1.replace("is", "was")}, but now is $a"

    println(s1 + s2)
}
[global::kotlin.clr.KotlinFileClass]
public static class MainKt
{
    public static void main()
    {
        int a = 1;
        string s1 = $"{("a is ")}{(a)}";
        a = 2;
        string s2 = $"{(global::kotlin.text.TextH.replace(s1, "is", "was"))}{(", but now is ")}{(a)}";
        global::kotlin.io.ConsoleKt.println((s1) + (s2));
    }

    public static void Main([global::kotlin.clr.KotlinNotNull] string[] args)
    {
        global::MainKt.main();
    }
}