void registerLocalSymbol(String sourceFile,String fullLocalName,String requiredNamespace,String localName){
  valueRewrite.put(sourceFile,fullLocalName,localName);
  typeRewrite.put(sourceFile,fullLocalName,localName);
  typeRewrite.put(sourceFile,requiredNamespace,localName);
}

void registerLocalSymbol ( String sourceFile , String fullLocalName , String requiredNamespace , String localName ) { valueRewrite . put ( sourceFile , fullLocalName , localName ) ; typeRewrite . put ( sourceFile , fullLocalName , localName ) ; typeRewrite . put ( sourceFile , requiredNamespace , localName ) ; }
saves the local name for imported symbols to be used for code rewriting later .
