def _render_field_access(self, p: PropertyDef) -> str:
"""
Helper to render a simple field access to the property P in the context
of an environment specification.
:param p: The property to access. It must accept no explicit argument.
"""
assert not p.natural_arguments
with PropertyDef.bind_none(), \
Self.bind_type(self.ast_node):
return FieldAccess.Expr(Self.construct_nocheck(), p,
[]).render_expr()
def _render_field_access(self, p):
"""
Helper to render a simple field access to the property P in the context
of an environment specification.
:param PropertyDef p: The property to access. It must accept no
explicit argument.
:rtype: str
"""
assert not p.explicit_arguments
with PropertyDef.bind_none(), \
Self.bind_type(self.ast_node), \
Env.bind_name('Current_Env'):
return FieldAccess.Expr(construct(Self), p, []).render_expr()
def _render_field_access(self, p):
"""
Helper to render a simple field access to the property P in the context
of an environment specification.
:param PropertyDef p: The property to access. It must accept no
explicit argument.
:rtype: str
"""
assert not p.explicit_arguments
with PropertyDef.bind_none(), \
Self.bind_type(self.ast_node), \
Env.bind_name('Current_Env'):
return FieldAccess.Expr(construct(Self), p, []).render_expr()
