Changeset 118

Timestamp:

10/13/02 14:02:55 (21 years ago)

Author:

piso

Message:

protected void enter(final String s) is now private.

File:

• trunk/j/src/org/armedbear/j/Shell.java (modified) (3 diffs)

trunk/j/src/org/armedbear/j/Shell.java

@@ -3 +3 @@
  *
  * Copyright (C) 1998-2002 Peter Graves
- * $Id: Shell.java,v 1.6 2002-10-12 00:06:39 piso Exp $
+ * $Id: Shell.java,v 1.7 2002-10-13 14:02:55 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -376 +376 @@
     }
 
-    protected void enter(final String s)
+    private void enter()
+    {
+        if (!checkProcess())
+            return;
+        final Editor editor = Editor.currentEditor();
+        final Line dotLine = editor.getDotLine();
+        if (posEndOfOutput == null) {
+            // Ignore input before first prompt is displayed.
+            dotLine.setText("");
+            return;
+        }
+        if (posEndOfOutput.getLine() == dotLine) {
+            if (posEndOfOutput.getOffset() < dotLine.length())
+                input = dotLine.getText().substring(posEndOfOutput.getOffset());
+            else
+                input = "";
+        } else {
+            // We're not at the end of the buffer.
+            input = stripPrompt(dotLine.getText());
+        }
+        enter(input);
+    }
+
+    private void enter(final String s)
     {
         if (s.length() != 0) {
@@ -441 +464 @@
             Log.error(e);
         }
-    }
-
-    private void enter()
-    {
-        if (!checkProcess())
-            return;
-        final Editor editor = Editor.currentEditor();
-        final Line dotLine = editor.getDotLine();
-        if (posEndOfOutput == null) {
-            // Ignore input before first prompt is displayed.
-            dotLine.setText("");
-            return;
-        }
-        if (posEndOfOutput.getLine() == dotLine) {
-            if (posEndOfOutput.getOffset() < dotLine.length())
-                input = dotLine.getText().substring(posEndOfOutput.getOffset());
-            else
-                input = "";
-        } else {
-            // We're not at the end of the buffer.
-            input = stripPrompt(dotLine.getText());
-        }
-        enter(input);
     }