public void PushIdentifierType(string ident, GraphTypeNode type)
 {
     stack[ident].Push(type);
 }
Beispiel #2
0
 public void PushIdentifierType(string ident, GraphTypeNode type)
 {
     stack[ident].Push(type);
 }