Package org.jnode.shell.alias.def

Examples of org.jnode.shell.alias.def.DefaultAliasManager

100
101
102
103
104
105
106
107
108
109
110
        this.root = root;
        InitialNaming.setNameSpace(new BasicNameSpace());

        try {
            InitialNaming.bind(DeviceManager.NAME, DeviceManager.INSTANCE);
            aliasMgr = new DefaultAliasManager(new DummyExtensionPoint()).createAliasManager();
            syntaxMgr = new DefaultSyntaxManager(new DummyExtensionPoint()).createSyntaxManager();
            for (String pluginName : pluginNames) {
                configurePlugin(pluginName);
            }
            System.setProperty("jnode.invoker", "thread");
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
     */
    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);
            InitialNaming.bind(ShellManager.NAME, shellMgr);
            InitialNaming.bind(SyntaxManager.NAME, syntaxMgr);
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
public class Emu {
    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
49
50
51
52
53
54
55
56
57
58
59
            return;
        }
        InitialNaming.setNameSpace(new BasicNameSpace());
        InitialNaming.bind(DeviceManager.NAME, DeviceManager.INSTANCE);
        AliasManager alias_mgr =
            new DefaultAliasManager(new DummyExtensionPoint()).createAliasManager();
        InitialNaming.bind(AliasManager.NAME, alias_mgr);
        InitialNaming.bind(ShellManager.NAME, new DefaultShellManager());
        InitialNaming.bind(HelpFactory.NAME, new DefaultHelpFactory());

        BasicConfigurator.configure();
View Full Code Here
TOP

Related Classes of org.jnode.shell.alias.def.DefaultAliasManager

  • org.jnode.emu.Emu
  • org.jnode.plugin.Extension
  • org.jnode.shell.def.ShellPlugin
  • org.jnode.test.gui.Emu
  • org.jnode.test.shell.Cassowary
  • org.jnode.shell.alias.NoSuchAliasException
    • 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.