Python dump Beispiele

Beispiel #1

    def dump(self, filename=None, directory=None):
        """Write symbols to a file or stdout."""

        util.dump(self, filename, directory)

Beispiel #2

Datei: propertyt.py Projekt: natasha-jeppu/aws-viewer-for-cbmc

    def dump(self, filename=None, directory=None):
        """Write properties to a file or stdout."""

        util.dump(self, filename, directory)

Beispiel #3

Datei: markup_trace.py Projekt: markrtuttle/aws-viewer-for-cbmc

    def dump(self, filename=None, outdir=None):
        """Write annotated trace to a file rendered as html."""

        util.dump(self, filename or self.prop_name + ".html", outdir
                  or self.outdir)

Beispiel #4

Datei: markup_summary.py Projekt: awslabs/aws-viewer-for-cbmc

    def dump(self, filename=None, outdir=None):
        """Write the proof summary to a file rendered as html."""

        util.dump(self, filename or "index.html", outdir or self.outdir)

Beispiel #5

    def dump(self, filename=None, directory=None):
        """Write reachable functions to a file or stdout."""

        util.dump(self, filename, directory)

Beispiel #6

Datei: coveraget.py Projekt: natasha-jeppu/aws-viewer-for-cbmc

    def dump(self, filename=None, directory=None):
        """Write coverage to a file or stdout."""

        util.dump(self, filename, directory)