コード例 #1
0
ファイル: Compiler-js.cs プロジェクト: ttjsu-aws/dafny
        protected override BlockTargetWriter CreateModule(string moduleName, TargetWriter wr)
        {
            var w = wr.NewBigBlock(string.Format("let {0} = (function()", moduleName), ")(); // end of module " + moduleName);

            w.Indent();
            w.WriteLine("let $module = {};");
            w.BodySuffix = string.Format("{0}return $module;{1}", w.IndentString, w.NewLine);
            return(w);
        }
コード例 #2
0
        protected override BlockTargetWriter CreateModule(TargetWriter wr, string moduleName)
        {
            var s = string.Format("namespace @{0}", moduleName);

            return(wr.NewBigBlock(s, " // end of " + s));
        }
コード例 #3
0
 protected override BlockTargetWriter CreateModule(TargetWriter wr, string moduleName)
 {
     return(wr.NewBigBlock(string.Format("var {0} =", moduleName), " // end of module " + moduleName));
 }