public boolean vizAllowedObjectP(Stella_Object renamed_Object) { { VizInfo self = this; return (((self.allowedObjects == null) ? (!self.vizExcludedModuleP(renamed_Object.homeModule())) : self.allowedObjects.memberP(renamed_Object))); } }