Package org.jnode.shell

Examples of org.jnode.shell.ShellManager

71
72
73
74
75
76
77
78
79
80
81
82
    }

    @Override
    public void execute() throws NameNotFoundException, IsolateStartupException, ShellException {
        final PrintWriter out = getOutput().getPrintWriter();
        final ShellManager sm = InitialNaming.lookup(ShellManager.NAME);
        final ConsoleManager conMgr = sm.getCurrentShell().getConsole().getManager();

        boolean listConsoles = FLAG_LIST.isSet();
        boolean newConsole = FLAG_NEW.isSet();
        boolean isolateNewConsole = FLAG_ISOLATED.isSet();
        boolean test = FLAG_TEST.isSet();
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
124
         * This will be the entry point for the isolate.
         * @param args
         */
        public static void main(String[] args) {
            try {
                final ShellManager sm = InitialNaming.lookup(ShellManager.NAME);
                final ConsoleManager conMgr = sm.getCurrentShell().getConsole().getManager();
                final PrintWriter out = new PrintWriter(new OutputStreamWriter(System.out));
                TextConsole console = createConsoleWithShell(conMgr, out);
                System.setIn(new ReaderInputStream(console.getIn()));
                System.setOut(new PrintStream(new WriterOutputStream(console.getOut(), false), true));
                System.setErr(new PrintStream(new WriterOutputStream(console.getErr(), false), true));
View Full Code Here
58
59
60
61
62
63
64
65
66
67
68
    /**
     * Start this plugin
     */
    protected void startPlugin() throws PluginException {
        try {
            ShellManager mgr = InitialNaming.lookup(ShellManager.NAME);
            mgr.registerInterpreterFactory(FACTORY);
        } catch (NamingException ex) {
            throw new PluginException("Cannot find the shell manager", ex);
        }
    }
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
    /**
     * Stop this plugin
     */
    protected void stopPlugin() throws PluginException {
        try {
            ShellManager mgr = InitialNaming.lookup(ShellManager.NAME);
            mgr.unregisterInterpreterFactory(FACTORY);
        } catch (NamingException ex) {
            throw new PluginException("Cannot find the shell manager", ex);
        }
    }
View Full Code Here
49
50
51
52
53
54
55
56
57
58
59
    /**
     * Start this plugin
     */
    protected void startPlugin() throws PluginException {
        try {
            final ShellManager shellMgr = new DefaultShellManager();
            final AliasManager aliasMgr =
                new DefaultAliasManager(getDescriptor().getExtensionPoint("aliases"));
            final SyntaxManager syntaxMgr =
                new DefaultSyntaxManager(getDescriptor().getExtensionPoint("syntaxes"));
            InitialNaming.bind(AliasManager.NAME, aliasMgr);
View Full Code Here
151
152
153
154
155
156
157
158
159
160
161
162
        return instance;
    }

    private static Toolkit createInstance() {
        try {
            final ShellManager sm = InitialNaming.lookup(ShellManager.NAME);
            final ConsoleManager conMgr = sm.getCurrentShell().getConsole().getManager();
            final TextConsole console = (TextConsole) conMgr.createConsole(
                "charva",
                ConsoleManager.CreateOptions.TEXT |
                            ConsoleManager.CreateOptions.STACKED |
                            ConsoleManager.CreateOptions.NO_LINE_EDITTING);
View Full Code Here
47
48
49
50
51
52
53
54
55
56
    protected static void initEnv() throws NamingException {
        if (true) {
            InitialNaming.setNameSpace(new BasicNameSpace());
            InitialNaming.bind(DeviceManager.NAME, DeviceManager.INSTANCE);
            final AliasManager aliasMgr = new DefaultAliasManager(new DummyExtensionPoint());
            final ShellManager shellMgr = new DefaultShellManager();
            InitialNaming.bind(AliasManager.NAME, aliasMgr);
            InitialNaming.bind(ShellManager.NAME, shellMgr);
        }
    }
View Full Code Here
171
172
173
174
175
176
177
178
179
180
181
182
   
    /**
     * Set up the pager's console and command pipe.
     */
    private void setup() throws NameNotFoundException, IOException {
        ShellManager sm = InitialNaming.lookup(ShellManager.NAME);
        manager = (TextScreenConsoleManager) sm.getCurrentShell().getConsole().getManager();
        console = manager.createConsole(
            "page",
            (ConsoleManager.CreateOptions.TEXT |
                ConsoleManager.CreateOptions.STACKED |
                ConsoleManager.CreateOptions.NO_LINE_EDITTING |
View Full Code Here
42
43
44
45
46
47
48
49
    /**
     * Execute this command
     */
    public void execute() throws Exception {
        ShellManager sm = InitialNaming.lookup(ShellManager.NAME);
        ((CommandShell) sm.getCurrentShell()).exit();
    }
View Full Code Here
42
43
44
45
46
47
48
49
     * Initialize a new instance
     *
     * @param descriptor
     */
    public BjornePseudoPlugin() throws NamingException {
        ShellManager mgr = InitialNaming.lookup(ShellManager.NAME);
        mgr.registerInterpreterFactory(FACTORY);
    }
View Full Code Here
TOP

Related Classes of org.jnode.shell.ShellManager

  • charva.awt.Toolkit
  • org.jnode.apps.console.SwingConsole
  • org.jnode.apps.editor.TextEditor
  • org.jnode.command.common.ExitCommand
  • org.jnode.command.system.PageCommand
  • org.jnode.shell.bjorne.BjorneShellPlugin
  • org.jnode.shell.command.driver.console.ConsoleCommand
  • org.jnode.shell.command.driver.console.ConsoleCommand$IsolatedConsole
  • org.jnode.shell.def.ShellPlugin
  • org.jnode.test.gui.Emu
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.