def __init__(self, scenario, site = None, relations = ['USES']): PresenterBase.__init__(self) self.scenario = scenario self.site = site self.relations = relations self.ev = ExperimentsVisitor(site = self.site, scenario = self.scenario) self.dv = DependencyVisitor(self.relations) self.design = { 'labeljust': 'left', 'labelloc': 'top', 'fontsize': 8, 'APP_fillcolor': '#fff2cc', 'APP_color': '#efbc00', 'SE_fillcolor': '#deebf7', 'SE_color': '#4a76ca', 'GE_fillcolor': '#e2f0d9', 'GE_color': '#548235', 'EDGE_tailport': 's', 'EDGE_color': '#000000', 'EDGE_USES_style': 'solid', 'EDGE_WILL_USE_style': 'dashed', 'EDGE_MAY_USE_style': 'dashed', 'EDGE_MAY_USE_color': '#838383', 'splines': 'spline' } self.indent = ' '
def __init__(self, scenario, site=None, relations=['USES']): PresenterBase.__init__(self) self.scenario = scenario self.site = site self.relations = relations self.ev = ExperimentsVisitor(site=self.site, scenario=self.scenario) self.dv = DependencyVisitor(self.relations) self.design = { 'labeljust': 'left', 'labelloc': 'top', 'fontsize': 8, 'APP_fillcolor': '#fff2cc', 'APP_color': '#efbc00', 'SE_fillcolor': '#deebf7', 'SE_color': '#4a76ca', 'GE_fillcolor': '#e2f0d9', 'GE_color': '#548235', 'EDGE_tailport': 's', 'EDGE_color': '#000000', 'EDGE_USES_style': 'solid', 'EDGE_WILL_USE_style': 'dashed', 'EDGE_MAY_USE_style': 'dashed', 'EDGE_MAY_USE_color': '#838383', 'splines': 'spline' } self.indent = ' '
def __init__(self, se, nice=lambda item: item): PresenterBase.__init__(self) self.se = se self.nice = nice # self.relations = relations # self.ev = ExperimentsVisitor(site = self.site, scenario = self.scenario) # self.dv = DependencyVisitor(self.relations) self.design = { "labeljust": "left", "labelloc": "top", "fontsize": 8, "APP_fillcolor": "#fff2cc", "APP_color": "#efbc00", "SE_fillcolor": "#deebf7", "SE_color": "#4a76ca", "GE_fillcolor": "#e2f0d9", "GE_color": "#548235", "EDGE_tailport": "e", "EDGE_headport": "w", "EDGE_color": "#000000", "EDGE_USES_style": "solid", "EDGE_WILL_USE_style": "dashed", "EDGE_MAY_USE_style": "dashed", "EDGE_MAY_USE_color": "#838383", "splines": "line", } self.indent = " "
def __init__(self, hideunused = False): PresenterBase.__init__(self) self.v = GEVisitor()
def __init__(self, hideunused=False): PresenterBase.__init__(self) self.v = GEVisitor()