import java.io.*;
import java.sql.*;
import sqlj.runtime.*;
import sqlj.runtime.ref.*;

public class ShowSqljHost {

  public static void main(String args[]) {

    String url ="jdbc:microsoft:sqlserver://maestro:1433";  // URL der Datenbank
    String user   = "erika";                                // User-Login
    String passwd = "mustermann";                           // User-Passwort
    Connection con;                                         // Verbindungs-Objekt

    try {                                                   // versuche
      Class.forName("com.microsoft.jdbc.sqlserver.SQLServerDriver");
    }catch(java.lang.ClassNotFoundException e) {            // Treiber zu laden
      System.err.println(e.getMessage());                   // Fehlermeldung 
    }

    try {  

      con = DriverManager.getConnection(url,user,passwd);   // Verbindung
      int vorgabe=IO.readInt("Bitte Personalnummer: ");     // Benutzereingabe
      String name, rang;
      DefaultContext ctx = new DefaultContext(con);
      DefaultContext.setDefaultContext(ctx);
      #sql  {select name, rang into :name, :rang
             from Professoren 
             where persnr = :vorgabe};
      
      System.out.print("Die Personalnummer gehoert zu ");
      System.out.println(name + " mit Rang " + rang);

    }catch(SQLException ex) {
      System.err.println("SQLException: " + ex.getMessage());
    }
  }
}