public override Result VisitNamespace([NotNull] SdmapParser.NamespaceContext context)
{
var ns = context.nsSyntax().GetText();
Context.NsStack.Push(ns);
var result = base.VisitNamespace(context);
Context.NsStack.Pop();
return(result);
}
public override void ExitNamespace([NotNull] SdmapParser.NamespaceContext context)
{
Contract.Assert(_nsStack.Count > 0);
if (_nsStack.Count > 0)
{
_nsStack.Pop();
}
base.ExitNamespace(context);
}
public override Result VisitNamespace([NotNull] SdmapParser.NamespaceContext context)
{
return(Result.Ok());
}
public override void EnterNamespace([NotNull] SdmapParser.NamespaceContext context)
{
_isNamespace = true;
base.EnterNamespace(context);
}
