def evaluate(self, state, local_scope):
"""
Evaluate this statement.
"""
var = state.get_ref("variable").value
for loop_var in var:
# generate a subscope/namespace for each loop
object_id = Scope.object_to_name(loop_var)
namespace = Namespace(object_id, state.namespace)
sub_scope = Scope.get_or_create_scope(state.graph,
namespace.to_path())
# add the loop variable to the scope
if not isinstance(loop_var, Variable):
loop_var = Variable(loop_var)
sub_scope.add_variable(self.loop_var, loop_var)
# generate the import statement
import_stmt = Import(self.module_name)
import_stmt.namespace = namespace
import_stmt.child_namespace = False
child_state = DynamicState(state.compiler, namespace, import_stmt)
child_state.add_to_graph(state.graph)
state._child_statements[import_stmt] = child_state
def evaluate(self, state, local_scope):
"""
Add these items to the enumeration. The tree is only checked after
all types have been defined.
"""
# check if the enum "container" has been defined
try:
namespace = None
if len(self.enum_type.namespace) > 0:
namespace = self.enum_type.namespace
enum_type = local_scope.get_variable(self.enum_type.name, namespace).value
except Exception as _exp:
enum_type = Enum(self.enum_type, "::".join(self.enum_type.namespace))
_var = Variable(enum_type)
if namespace is None:
local_scope.add_variable(self.enum_type.name, _var)
else:
scope = Scope.get_or_create_scope(state.graph, namespace)
scope.add_variable(self.enum_type.name, _var)
CallbackHandler.schedule_callback("after_types", enum_type.verify)
for item in self.items:
enum_type.add_item(self.parent, item)
def get_local_scope(self):
"""
Get the scope in which the statement will be evaluated
"""
return Scope.get_or_create_scope(self.graph, self.namespace.to_path())
def new_statements(self, state):
"""
Add any arguments that need to be validated to the graph
"""
attributes = set()
# Set the value from the constructor
object_ref = state.get_result_reference()
for name, value in self.__attributes.items():
# set the attributes passed with the constructor
stmt = SetAttribute(object_ref, name, value)
self.copy_location(stmt)
stmt.namespace = self.namespace
state.add_statement(stmt)
attributes.add(name)
# Set values defined in default constructors
type_class = state.get_type("classtype")
if isinstance(type_class, Default):
default = type_class
type_class = type_class.get_entity()
# set default values
for attribute_name in type_class.get_all_attribute_names():
attribute = type_class.get_attribute(attribute_name)
if attribute.name not in attributes:
try:
value = default.get_default(attribute.name)
stmt = SetAttribute(object_ref, attribute.name, value)
self.copy_location(stmt)
stmt.namespace = self.namespace
state.add_statement(stmt)
attributes.add(attribute.name)
except AttributeError:
pass
# Set default values if they have not been set yet
for name, value in type_class.get_default_values().items():
if name not in attributes and value is not None:
stmt = SetAttribute(object_ref, name, value)
self.copy_location(stmt)
stmt.namespace = self.namespace
state.add_statement(stmt)
# Make values of attributes available in subscopes by defining
# variables with matching names in the subscope
object_id = Scope.object_to_name(state)
namespace = Namespace(object_id, state.namespace)
scope = Scope.get_or_create_scope(state.graph, namespace.to_path())
added_variables = set()
for attribute in type_class.get_all_attribute_names():
if attribute in added_variables:
continue
var = AttributeVariable.create(object_ref, attribute)
self.copy_location(var)
added_variables.add(attribute)
scope.add_variable(attribute, var)
# Set a attributes with low multiplicity == 0 -> set []
attribute_obj = type_class.get_attribute(attribute)
if hasattr(attribute_obj, "low") and attribute_obj.low == 0:
value = Variable(QList())
stmt = SetAttribute(object_ref, attribute_obj.name, value)
self.copy_location(stmt)
stmt.namespace = self.namespace
state.add_statement(stmt)
# set the self variable
scope.add_variable("self", object_ref)
# now check that all variables that have indexes on them, are already
# defined and add the instance to the index
for index in type_class._index_def:
for attr in index:
if attr not in attributes:
raise Exception("%s is part of an index and should be set in the constructor." % attr)