package ceylon.language;

import com.redhat.ceylon.compiler.metadata.java.Ceylon;
import com.redhat.ceylon.compiler.metadata.java.Name;
import com.redhat.ceylon.compiler.metadata.java.TypeInfo;

@Ceylon @com.redhat.ceylon.compiler.metadata.java.Object
public class process extends Object {
    @SuppressWarnings("unchecked")
    private Iterable<? extends String> args = $empty.getEmpty();
    
    @TypeInfo("ceylon.language.Empty|ceylon.language.Sequence<ceylon.language.String>")
    public Iterable<? extends String> getArguments() {
        return args;
    }
    
    public void setupArguments(java.lang.String[] args) {
        String[] newArgs = new String[args.length];
        for (int i = 0; i < args.length; i++) {
            newArgs[i] = String.instance(args[i]);
        }
        this.args = new ArraySequence<String>(newArgs);
    }
    
//    shared Entries<String,String> switches { throw; }

//    shared Entries<String,String> properties { throw; }

    public void writeLine(@Name("line") @TypeInfo("ceylon.language.String") java.lang.String s) {
        java.lang.System.out.println(s);
    }
    
    public void write(@Name("string") @TypeInfo("ceylon.language.String") java.lang.String s) {
        java.lang.System.out.print(s);
    }
    
//  shared String readLine() { throw; }
    
    private process() {
    }
    private static final process value = new process();
    
    public static process getProcess() {
        return value;
    }
}

@@ -19,16 +19,45 @@
 guage;%0A%0A
+import java.io.IOException;%0A%0A
 import c
@@ -312,16 +312,18 @@
 bject %7B%0A
+%09%0A
     @Sup
@@ -1296,57 +1296,556 @@
    %0A
-//  shared String readLine() %7B throw;
+    @TypeInfo(%22ceylon.language.String%22) %0A    public java.lang.String readLine() %7B%0A        try %7B%0A            return new java.io.BufferedReader( %0A                    new java.io.InputStreamReader(java.lang.System.in))%0A                .readLine();%0A        %7D %0A        catch (IOException e) %7B%0A            throw new Exception(%0A                    String.instance(%22could not read line from standard input%22), %0A                            e);%0A       
  %7D%0A    
+%7D
 %0A    
+%0A    @Override%0A    public java.lang.String toString() %7B%0A    %09return %22process%22;%0A    %7D%0A    %0A    
 priv
@@ -1859,21 +1859,16 @@
 cess() %7B
-%0A    
 %7D%0A    pr

implement readLine()