From 2526a1b9b5dd7c18f734c73c7afc47f244920293 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Wed, 23 Feb 2005 04:14:56 +0000 Subject: [PATCH] fix a problem with the plugin's parser --- factor/parser/BeginConstructor.java | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/factor/parser/BeginConstructor.java b/factor/parser/BeginConstructor.java index a04d920d31..686577f109 100644 --- a/factor/parser/BeginConstructor.java +++ b/factor/parser/BeginConstructor.java @@ -41,12 +41,21 @@ public class BeginConstructor extends FactorParsingDefinition public void eval(FactorReader reader) throws Exception { + // remember the position before the word name + FactorScanner scanner = reader.getScanner(); + int line = scanner.getLineNumber(); + int col = scanner.getColumnNumber(); + FactorWord type = reader.nextWord(false); if(type == null) return; reader.intern("<" + type + ">",true); - reader.addArtifact(new ConstructorArtifact(type)); + ConstructorArtifact artifact = new ConstructorArtifact(type); + artifact.setFile(scanner.getFileName()); + artifact.setLine(line); + artifact.setColumn(col); + reader.addArtifact(artifact); reader.pushExclusiveState(word,type); } }