/* * Copyright 2009-11 www.scribble.org * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. * */ package org.scribble.parser; import org.scribble.ast.Module; import org.scribble.main.DefaultModuleLoader; import org.scribble.main.ScribbleException; import org.scribble.main.resource.Resource; import org.scribble.main.resource.ResourceLocator; import org.scribble.sesstype.name.ModuleName; import org.scribble.util.Pair; import org.scribble.util.ScribParserException; // loading = ModuleName -> Module // ModuleName --> Path --ResourceLocator--> Resource --AntlrParser--> ANTLR --ScribParser--> ScribNode // FIXME: should be in core org.scribble.main -- here due to Maven dependency restrictions public class ScribModuleLoader extends DefaultModuleLoader //implements ModuleLoader { private ResourceLocator locator; private AntlrParser antlr; private ScribParser parser; public ScribModuleLoader(ResourceLocator locator, AntlrParser antlr, ScribParser parser) { this.locator = locator; this.antlr = antlr; this.parser = parser; } @Override public Pair<Resource, Module> loadModule(ModuleName modname) throws ScribParserException, ScribbleException { Pair<Resource, Module> cached = super.loadModule(modname); if (cached != null) { return cached; } Resource res = this.locator.getResource(modname.toPath()); Module parsed = (Module) this.parser.parse(this.antlr.parseAntlrTree(res)); checkModuleName(modname, res, parsed); registerModule(res, parsed); return new Pair<>(res, parsed); } private static void checkModuleName(ModuleName mn, Resource res, Module mod) { if (!mn.equals(mod.getFullModuleName())) { throw new RuntimeException("Invalid module name " + mod.getFullModuleName() + " at location: " + res.getLocation()); } } }