Changeset 442
- Timestamp:
- Jun 21, 2010 9:15:35 PM (14 years ago)
- Location:
- trunk/MagnoliaPlugin
- Files:
-
- 20 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/MagnoliaPlugin/META-INF/MANIFEST.MF
r438 r442 26 26 lpg.runtime 27 27 Import-Package: org.junit 28 Bundle-RequiredExecutionEnvironment: JavaSE-1.6 -
trunk/MagnoliaPlugin/src/org/magnolialang/eclipse/commands/LaunchRascalConsole.java
r401 r442 4 4 import org.eclipse.core.commands.ExecutionEvent; 5 5 import org.eclipse.core.commands.ExecutionException; 6 //import org.rascalmpl.eclipse.console.ConsoleFactory;7 import org.eclipse.ui.handlers.HandlerUtil;8 6 9 7 public class LaunchRascalConsole extends AbstractHandler{ -
trunk/MagnoliaPlugin/src/org/magnolialang/eclipse/commands/SelectConstruct.java
r439 r442 7 7 import org.eclipse.core.commands.ExecutionEvent; 8 8 import org.eclipse.core.commands.ExecutionException; 9 import org.eclipse.imp.editor.UniversalEditor;10 9 import org.eclipse.imp.pdb.facts.IConstructor; 11 10 import org.eclipse.imp.pdb.facts.IMap; 12 11 import org.eclipse.imp.pdb.facts.ISourceLocation; 13 import org.eclipse.imp.pdb.facts.IString;14 12 import org.eclipse.imp.pdb.facts.IValue; 15 import org.eclipse.imp.pdb.facts.visitors.VisitorException;16 13 import org.eclipse.swt.graphics.Point; 17 14 import org.eclipse.ui.IEditorPart; … … 22 19 import org.magnolialang.eclipse.rascal.RascalInterpreter; 23 20 import org.magnolialang.xatree.SortNameMatcher; 24 import org.magnolialang.xatree.TreeImplodeVisitor;25 21 import org.magnolialang.xatree.TreeImploder; 26 22 import org.magnolialang.xatree.XaTreeAdapter; -
trunk/MagnoliaPlugin/src/org/magnolialang/eclipse/commands/ViewFlattenedModule.java
r437 r442 1 1 package org.magnolialang.eclipse.commands; 2 2 3 import java.io.IOException;4 import java.io.StringBufferInputStream;5 3 import java.net.URI; 6 4 … … 8 6 import org.eclipse.core.commands.ExecutionEvent; 9 7 import org.eclipse.core.commands.ExecutionException; 10 import org.eclipse.core.resources.IFile;11 import org.eclipse.core.runtime.CoreException;12 import org.eclipse.core.runtime.IPath;13 8 import org.eclipse.imp.editor.UniversalEditor; 14 import org.eclipse.imp.model.ISourceProject;15 9 import org.eclipse.imp.parser.IParseController; 16 10 import org.eclipse.imp.pdb.facts.IConstructor; 17 11 import org.eclipse.imp.pdb.facts.IList; 18 12 import org.eclipse.imp.pdb.facts.IValue; 19 import org.eclipse.imp.pdb.facts.IString;20 import org.eclipse.jface.dialogs.MessageDialog;21 13 import org.eclipse.ui.IEditorPart; 22 14 import org.eclipse.ui.handlers.HandlerUtil; … … 26 18 import org.magnolialang.errors.CompilationError; 27 19 import org.magnolialang.load.ProjectURIResolver; 28 import org.magnolialang.load.ModuleLoader;29 20 import org.magnolialang.manager.MagnoliaProjectManager; 21 30 22 public class ViewFlattenedModule extends AbstractHandler { 31 @SuppressWarnings("deprecation")32 23 public Object execute(ExecutionEvent event) throws ExecutionException { 33 24 IEditorPart editorPart = HandlerUtil.getActiveEditor(event); -
trunk/MagnoliaPlugin/src/org/magnolialang/eclipse/editor/ActionContributor.java
r429 r442 3 3 import org.eclipse.imp.editor.UniversalEditor; 4 4 import org.eclipse.imp.services.ILanguageActionsContributor; 5 import org.eclipse.jface.action.Action;6 import org.eclipse.jface.action.IAction;7 5 import org.eclipse.jface.action.IMenuManager; 8 6 import org.eclipse.jface.action.IStatusLineManager; 9 7 import org.eclipse.jface.action.IToolBarManager; 10 import org.rascalmpl.checker.StaticChecker;11 8 12 9 public class ActionContributor implements ILanguageActionsContributor { 13 10 14 private class EnableTypeCheckerMenuItem extends Action {15 11 16 public EnableTypeCheckerMenuItem(String text) { 17 super(text, IAction.AS_CHECK_BOX); 18 if (StaticChecker.getInstance().isPassEnabled(StaticChecker.TYPECHECKER)) 19 this.setChecked(true); 20 else 21 this.setChecked(false); 22 } 23 24 @Override 25 public void run() { 26 if (StaticChecker.getInstance().isPassEnabled(StaticChecker.TYPECHECKER)) { 27 StaticChecker.getInstance().disablePipelinePass(StaticChecker.TYPECHECKER); 28 this.setChecked(false); 29 } else { 30 StaticChecker.getInstance().enablePipelinePass(StaticChecker.TYPECHECKER); 31 this.setChecked(true); 32 } 33 } 12 public void contributeToEditorMenu(UniversalEditor editor, IMenuManager menuManager) { 34 13 } 35 36 public void contributeToEditorMenu(UniversalEditor editor, IMenuManager menuManager) {37 /* menuManager.add(new Action("Load Checker") {38 @Override39 public void run() {40 StaticChecker.getInstance().reload();41 }42 });43 44 menuManager.add(new EnableTypeCheckerMenuItem("Enable Checker"));45 */ }46 14 47 15 public void contributeToMenuBar(final UniversalEditor editor, IMenuManager menu) { -
trunk/MagnoliaPlugin/src/org/magnolialang/eclipse/editor/NodeLocator.java
r439 r442 1 1 package org.magnolialang.eclipse.editor; 2 3 import java.util.Iterator;4 2 5 3 import org.eclipse.core.runtime.IPath; … … 12 10 import org.magnolialang.xatree.INodePredicate; 13 11 import org.rascalmpl.ast.AbstractAST; 14 //import org.rascalmpl.eclipse.outline.TreeModelBuilder.Group;15 12 import org.rascalmpl.values.uptr.Factory; 16 13 import org.rascalmpl.values.uptr.ParsetreeAdapter; -
trunk/MagnoliaPlugin/src/org/magnolialang/eclipse/editor/ParseController.java
r428 r442 12 12 import org.eclipse.imp.parser.IMessageHandler; 13 13 import org.eclipse.imp.parser.IParseController; 14 import org.eclipse.imp.parser.ISourcePositionLocator;15 14 import org.eclipse.imp.pdb.facts.IConstructor; 16 15 import org.eclipse.imp.pdb.facts.ISourceLocation; … … 23 22 import org.magnolialang.load.ModuleLoader; 24 23 import org.magnolialang.load.ProjectURIResolver; 25 import org.magnolialang.manager.IProjectManager;26 24 import org.magnolialang.manager.MagnoliaProjectManager; 27 import org.rascalmpl.interpreter.env.ModuleEnvironment;28 25 import org.rascalmpl.interpreter.staticErrors.SyntaxError; 29 26 import org.rascalmpl.values.errors.SummaryAdapter; -
trunk/MagnoliaPlugin/src/org/magnolialang/eclipse/preferences/MagnoliaInstanceTab.java
r369 r442 3 3 import java.util.List; 4 4 import java.util.ArrayList; 5 import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;6 import org.eclipse.core.runtime.preferences.IEclipsePreferences;7 5 import org.eclipse.swt.widgets.Composite; 8 6 import org.eclipse.swt.widgets.Link; 9 7 import org.eclipse.imp.preferences.*; 10 8 import org.eclipse.imp.preferences.fields.*; 11 import org.osgi.service.prefs.Preferences;12 13 9 14 10 /** -
trunk/MagnoliaPlugin/src/org/magnolialang/eclipse/preferences/MagnoliaProjectTab.java
r369 r442 3 3 import java.util.List; 4 4 import java.util.ArrayList; 5 import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;6 5 import org.eclipse.core.runtime.preferences.IEclipsePreferences; 7 6 import org.eclipse.swt.widgets.Composite; -
trunk/MagnoliaPlugin/src/org/magnolialang/errors/ModuleNotFoundError.java
r428 r442 37 37 return errorType; 38 38 } 39 40 public String getModuleName() { 41 return moduleName; 42 } 39 43 } -
trunk/MagnoliaPlugin/src/org/magnolialang/load/ProjectURIResolver.java
r437 r442 5 5 import java.io.InputStream; 6 6 import java.io.OutputStream; 7 import java.io.UnsupportedEncodingException;8 7 import java.net.MalformedURLException; 9 8 import java.net.URI; 10 9 import java.net.URISyntaxException; 11 import java.net.URLEncoder;12 10 13 11 import org.eclipse.core.resources.IFile; … … 16 14 import org.eclipse.core.runtime.CoreException; 17 15 import org.eclipse.core.runtime.IPath; 18 import org.eclipse.core.runtime.Path;19 16 import org.eclipse.imp.model.ISourceProject; 20 import org.magnolialang.eclipse.MagnoliaPlugin;21 17 import org.magnolialang.uri.IURIInputStreamResolver; 22 18 import org.magnolialang.uri.IURIOutputStreamResolver; -
trunk/MagnoliaPlugin/src/org/magnolialang/manager/MagnoliaProjectManager.java
r441 r442 3 3 import java.io.IOException; 4 4 import java.io.StringBufferInputStream; 5 import java.net.MalformedURLException;6 5 import java.net.URI; 7 6 import java.util.HashMap; … … 13 12 import org.eclipse.core.resources.IResource; 14 13 import org.eclipse.core.runtime.CoreException; 15 import org.eclipse.core.runtime.IPath;16 14 import org.eclipse.core.runtime.Path; 17 15 import org.eclipse.imp.model.ISourceProject; 18 16 import org.eclipse.imp.pdb.facts.IConstructor; 19 17 import org.eclipse.imp.pdb.facts.ISourceLocation; 20 import org.eclipse.imp.pdb.facts.IString;21 import org.eclipse.imp.pdb.facts.IValue;22 18 import org.eclipse.imp.utils.Pair; 23 19 import org.magnolialang.eclipse.MagnoliaPlugin; 24 20 import org.magnolialang.eclipse.editor.ImplementationError; 25 21 import org.magnolialang.eclipse.editor.ParseController; 26 import org.magnolialang.eclipse.rascal.RascalInterpreter;27 22 import org.magnolialang.env.MagnoliaEnvironment; 28 23 import org.magnolialang.errors.CompilationError; … … 38 33 import org.rascalmpl.values.uptr.ParsetreeAdapter; 39 34 35 @SuppressWarnings("deprecation") 40 36 public class MagnoliaProjectManager implements IProjectManager { 41 37 private static Map<String, MagnoliaProjectManager> managerMap; … … 75 71 } 76 72 77 @SuppressWarnings("deprecation")78 73 public void createModule(String moduleName, String sourceModuleName, IConstructor moduleTree) { 79 74 ModuleInfo srcInfo = getModuleInfo(sourceModuleName); … … 262 257 if(loc != null) { 263 258 URI uri = loc.getURI(); 264 String name = uriMap.get(uri); 265 if(name != null) { 266 ModuleInfo info = moduleMap.get(name); 267 } 259 268 260 IFile file = ProjectURIResolver.getFile(uri); 269 261 try { -
trunk/MagnoliaPlugin/src/org/magnolialang/programs/MagnoliaAdapter.java
r439 r442 5 5 6 6 import org.eclipse.imp.pdb.facts.*; 7 import org.eclipse.imp.pdb.facts.type.TypeFactory; 7 8 8 import org.magnolialang.eclipse.rascal.RascalInterpreter; 9 9 import org.rascalmpl.values.ValueFactoryFactory; 10 10 11 11 public class MagnoliaAdapter { 12 private static TypeFactory tf = TypeFactory.getInstance(); 12 13 13 private static IValueFactory vf = ValueFactoryFactory.getValueFactory(); 14 14 private static RascalInterpreter eval = RascalInterpreter.getInstance(); -
trunk/MagnoliaPlugin/src/org/magnolialang/uri/IURIInputStreamResolver.java
r437 r442 1 1 package org.magnolialang.uri; 2 2 3 import java.io.IOException;4 import java.io.InputStream;5 3 import java.net.URI; 6 4 -
trunk/MagnoliaPlugin/src/org/magnolialang/uri/IURIOutputStreamResolver.java
r426 r442 1 1 package org.magnolialang.uri; 2 2 3 import java.io.IOException;4 import java.io.OutputStream;5 import java.net.URI;6 3 7 4 public interface IURIOutputStreamResolver extends org.rascalmpl.uri.IURIOutputStreamResolver { -
trunk/MagnoliaPlugin/src/org/magnolialang/xatree/CxxSkin.java
r439 r442 1 1 package org.magnolialang.xatree; 2 3 import static org.magnolialang.xatree.XaTreeFactory.child; 4 import static org.magnolialang.xatree.XaTreeFactory.space; 5 import static org.magnolialang.xatree.XaTreeFactory.token; 2 6 3 7 import org.eclipse.imp.pdb.facts.IConstructor; … … 6 10 import org.eclipse.imp.pdb.facts.IValue; 7 11 import org.eclipse.imp.pdb.facts.IValueFactory; 8 import org.eclipse.imp.pdb.facts.type.TypeFactory;9 12 import org.rascalmpl.values.ValueFactoryFactory; 10 import static org.magnolialang.xatree.XaTreeFactory.*;11 13 12 14 public class CxxSkin implements ILanguageSkin { 13 private static TypeFactory tf = TypeFactory.getInstance();14 15 private static IValueFactory vf = ValueFactoryFactory.getValueFactory(); 15 16 private static final IString CONS_IF = vf.string("If"); 16 private static final IString CONS_VAR = vf.string("Var");17 //private static final IString CONS_VAR = vf.string("Var"); 17 18 private static final IString SORT_EXPR = vf.string("Expr"); 18 19 public IList getConcrete(IString cons, IString sort, IValue context) { -
trunk/MagnoliaPlugin/src/org/magnolialang/xatree/TestXaTree.java
r439 r442 4 4 5 5 import java.util.Random; 6 7 import org.eclipse.imp.pdb.facts.IConstructor; 8 import org.eclipse.imp.pdb.facts.IMap; 9 import org.eclipse.imp.pdb.facts.ITuple; 10 import org.eclipse.imp.pdb.facts.IValue; 6 import org.eclipse.imp.pdb.facts.*; 11 7 import org.junit.Test; 12 8 -
trunk/MagnoliaPlugin/src/org/magnolialang/xatree/TreeImplodeVisitor.java
r440 r442 19 19 import org.rascalmpl.values.ValueFactoryFactory; 20 20 import org.rascalmpl.values.uptr.Factory; 21 import org.rascalmpl.values.uptr.ParsetreeAdapter;22 21 import org.rascalmpl.values.uptr.ProductionAdapter; 23 22 import org.rascalmpl.values.uptr.SymbolAdapter; -
trunk/MagnoliaPlugin/src/org/magnolialang/xatree/XaTreeAdapter.java
r439 r442 1 1 package org.magnolialang.xatree; 2 2 3 import java.util.ArrayList; 4 import java.util.LinkedList; 5 import java.util.List; 6 7 import org.eclipse.imp.pdb.facts.*; 3 import static org.magnolialang.xatree.XaTreeFactory.*; 4 import org.eclipse.imp.pdb.facts.IConstructor; 5 import org.eclipse.imp.pdb.facts.IInteger; 6 import org.eclipse.imp.pdb.facts.IList; 7 import org.eclipse.imp.pdb.facts.IListWriter; 8 import org.eclipse.imp.pdb.facts.IMap; 9 import org.eclipse.imp.pdb.facts.IString; 10 import org.eclipse.imp.pdb.facts.IValue; 11 import org.eclipse.imp.pdb.facts.IValueFactory; 8 12 import org.eclipse.imp.pdb.facts.type.Type; 9 import org.eclipse.imp.pdb.facts.type.TypeFactory;10 import org.eclipse.imp.pdb.facts.type.TypeStore;11 import org.eclipse.imp.pdb.facts.visitors.BottomUpVisitor;12 import org.eclipse.imp.pdb.facts.visitors.IValueVisitor;13 13 import org.eclipse.imp.pdb.facts.visitors.IdentityVisitor; 14 14 import org.eclipse.imp.pdb.facts.visitors.NullVisitor; … … 16 16 import org.magnolialang.eclipse.editor.ImplementationError; 17 17 import org.rascalmpl.values.ValueFactoryFactory; 18 import org.rascalmpl.values.uptr.visitors.TreeVisitor; 19 20 import static org.magnolialang.xatree.XaTreeFactory.*; 18 21 19 public class XaTreeAdapter { 22 public static TypeStore ts = new TypeStore(23 org.rascalmpl.values.uptr.Factory.getStore(),24 org.rascalmpl.values.errors.Factory.getStore(),25 org.rascalmpl.values.locations.Factory.getStore());26 private static TypeFactory tf = TypeFactory.getInstance();27 20 private static IValueFactory vf = ValueFactoryFactory.getValueFactory(); 28 21 … … 243 236 try { 244 237 return tree.accept(new NullVisitor<String>() { 245 private List<String> indentStack = new LinkedList<String>();246 private List<IValue> contextStack = new LinkedList<IValue>();238 // private List<String> indentStack = new LinkedList<String>(); 239 // private List<IValue> contextStack = new LinkedList<IValue>(); 247 240 248 241 public String visitConstructor(IConstructor c) throws VisitorException { -
trunk/MagnoliaPlugin/src/org/magnolialang/xatree/XaTreeFactory.java
r439 r442 20 20 private static final int RANDOM_CHANCE_CONS = 35; 21 21 private static final int RANDOM_CHANCE_SEQ = 45; 22 private static final int RANDOM_CHANCE_LEAF = 100;23 22 private static final int RANDOM_MAX_CHILDREN = 5; 24 23 public static TypeStore ts = new TypeStore(
Note:
See TracChangeset
for help on using the changeset viewer.