public override void ExitSingle_parameterDeclaration(DecafParser.Single_parameterDeclarationContext context)
{
SymbolType theParameterType = getNodeType(context.parameterType());
Symbol theSymbolRepresentation = new Symbol(theParameterType);
KeyValuePair<string, Symbol> theKeyValuePairRepresentaion = new KeyValuePair<string, Symbol>(context.Id().GetText(), theSymbolRepresentation);
theScopeManager.AddSymbol(theKeyValuePairRepresentaion);
parameterList.Add(theParameterType);
setNodeSymbolTableEntry(context, theKeyValuePairRepresentaion);
setNodeType(context, theParameterType);
}