public override void VisitMatrixName(MatrixName element) { if (mVariableMap.ContainsKey(element.getText())) { int[,] element_value = (int[,])mVariableMap[element.getText()]; matStack.Push(element_value); } else { } }