/******************************************************************************* * Copyright (c) 2009-2013 CWI * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * * Jurgen J. Vinju - Jurgen.Vinju@cwi.nl - CWI * * Mark Hills - Mark.Hills@cwi.nl (CWI) * * Arnold Lankamp - Arnold.Lankamp@cwi.nl *******************************************************************************/ package org.rascalmpl.semantics.dynamic; import org.rascalmpl.interpreter.IEvaluator; import org.rascalmpl.interpreter.result.Result; import org.rascalmpl.value.IConstructor; import org.rascalmpl.value.ISourceLocation; import org.rascalmpl.value.IValue; public abstract class PostPathChars extends org.rascalmpl.ast.PostPathChars { static public class Lexical extends org.rascalmpl.ast.PostPathChars.Lexical { public Lexical(ISourceLocation __param1, IConstructor tree, String __param2) { super(__param1, tree, __param2); } @Override public Result<IValue> interpret(IEvaluator<Result<IValue>> __eval) { String str = this.getString(); return org.rascalmpl.interpreter.result.ResultFactory .makeResult(org.rascalmpl.interpreter.Evaluator.__getTf() .stringType(), __eval.__getVf().string( str.substring(1, str.length() - 1)), __eval); } } public PostPathChars(ISourceLocation __param1, IConstructor tree) { super(__param1, tree); } }