Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

54
LINES

< > BotCompany Repo | #283 - GetDiskStats.java

Java source code

package ai.d.ai18;

import drjava.util.Lizt;
import drjava.util.StringUtil;
import net.luaos.tb.tb15.CentralDatabase;
import net.luaos.tb.tb20.DatabaseAPI;
import net.luaos.tb.tb20.ListEntry;

import java.util.List;
import java.util.Map;
import java.util.TreeMap;

public class GetDiskStats {
  public static void main(String[] args) {
    DatabaseAPI db = CentralDatabase.copyToMemory("df", "GetDiskStats");
    String dfOutputID = "#t1-kokjwjhpwuas-qbtsjoyahagl";
    doIt(db, dfOutputID);
  }

  public static void doIt(DatabaseAPI db, String dfOutputID) {
    ListEntry dfOutput = db.get(dfOutputID);
    String text = dfOutput.desc;
    System.out.println(text);
    List<String> lines = StringUtil.toLines(text);
    System.out.println(StringUtil.n(lines.size(), "line"));

    ListEntry rowMarking = db.oneOfType_flex("RowMarking"); // TODO: check link to DFOutput
    System.out.println("RowMarking: " + rowMarking);

    List<ListEntry> colMarkings = db.allOfType("ColMarking"); // TODO: check link to DFOutput
    System.out.println("ColMarkings: " + colMarkings);

    Map<String, String> map = new TreeMap<String, String>(); // Yes - we like it sorted

    for (ListEntry colMarking : colMarkings) {
      int textRow = rowMarking.getInt("textRow");
      String line = lines.get(textRow-1);
      String textCol = colMarking.getString("textCol");
      String[] fromTo = textCol.split("\\-");
      int col1 = Integer.parseInt(fromTo[0]), col2;
      if (fromTo[1].equals("end"))
        col2 = line.length();
      else if (fromTo[1].endsWith(" (inc)"))
        col2 = Integer.parseInt(fromTo[1].substring(0, fromTo[1].length()-" (inc)".length()));
      else
        throw new RuntimeException("Ambiguous column range: " + textCol);
      String value = line.substring(col1-1, col2);
      System.out.println("Value: |" + value + "|");
      map.put(colMarking.desc, value);
    }

    System.out.println("Values: " + map);
  }
}

download  show line numbers   

Travelled to 8 computer(s): aoiabmzegqzx, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, tslmcundralx, tvejysmllsmz

Comments [hide]

ID Author/Program Comment Date
556 #1000610 Edit suggestion:
!636
!629

main {
static Object androidContext;
static String programID;

public static void main(String[] args) throws Exception {
package ai.d.ai18;

import drjava.util.Lizt;
import drjava.util.StringUtil;
import net.luaos.tb.tb15.CentralDatabase;
import net.luaos.tb.tb20.DatabaseAPI;
import net.luaos.tb.tb20.ListEntry;

import java.util.List;
import java.util.Map;
import java.util.TreeMap;

public class GetDiskStats {
public static void main(String[] args) {
DatabaseAPI db = CentralDatabase.copyToMemory("df", "GetDiskStats");
String dfOutputID = "#t1-kokjwjhpwuas-qbtsjoyahagl";
doIt(db, dfOutputID);
}

public static void doIt(DatabaseAPI db, String dfOutputID) {
ListEntry dfOutput = db.get(dfOutputID);
String text = dfOutput.desc;
System.out.println(text);
List<String> lines = StringUtil.toLines(text);
System.out.println(StringUtil.n(lines.size(), "line"));

ListEntry rowMarking = db.oneOfType_flex("RowMarking"); // TODO: check link to DFOutput
System.out.println("RowMarking: " + rowMarking);

List<ListEntry> colMarkings = db.allOfType("ColMarking"); // TODO: check link to DFOutput
System.out.println("ColMarkings: " + colMarkings);

Map<String, String> map = new TreeMap<String, String>(); // Yes - we like it sorted

for (ListEntry colMarking : colMarkings) {
int textRow = rowMarking.getInt("textRow");
String line = lines.get(textRow-1);
String textCol = colMarking.getString("textCol");
String[] fromTo = textCol.split("\\-");
int col1 = Integer.parseInt(fromTo[0]), col2;
if (fromTo[1].equals("end"))
col2 = line.length();
else if (fromTo[1].endsWith(" (inc)"))
col2 = Integer.parseInt(fromTo[1].substring(0, fromTo[1].length()-" (inc)".length()));
else
throw new RuntimeException("Ambiguous column range: " + textCol);
String value = line.substring(col1-1, col2);
System.out.println("Value: |" + value + "|");
map.put(colMarking.desc, value);
}

System.out.println("Values: " + map);
}
}

}}
2015-08-18 20:05:35  delete 
554 #1000604 (pitcher) 2015-08-18 00:07:22

add comment

Image recognition results

Recognizer Recognition Result Visualize Recalc
#308 1999 [visualize]

Snippet ID: #283
Snippet name: GetDiskStats.java
Eternal ID of this version: #283/1
Text MD5: 917644d594c2117e0d5d2ba65462cc54
Author: stefan
Category:
Type: Java source code
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2014-11-08 22:25:05
Source code size: 1999 bytes / 54 lines
Pitched / IR pitched: No / Yes
Views / Downloads: 883 / 82
Referenced in: [show references]

Formerly at http://tinybrain.de/283 & http://283.tinybrain.de