MakeBoxesStopラッパーを作成することはできますか？

Question

is known出力式はMakeBoxesに渡され、グラフィックス表現をフロントエンドがグラフィックを表現するために使用するボックス言語に変換します（$Outputのデフォルト値はFormatType->StandardFormです）。我々が評価された場合、例えば：

HoldComplete[Graphics[Disk[]]] 

を我々はHoldCompleteで包まれたディスクを入手：

HoldComplete式をタイプセットし、その内容を変換するからMakeBoxesを停止していないので、これは次のとおりです。

In[4]:= MakeBoxes@HoldComplete[Graphics[Disk[]]] 
Out[4]= RowBox[{"HoldComplete", "[", GraphicsBox[DiskBox[{0, 0}]], "]"}] 

私の質問です：いくつかの追加の定義を行うことは可能ですか？ MakeBoxesのように、MakeBoxesStopという頭文字で任意の式をラップすると、MakeBoxesはこの式をタイプセット形式に変換できなくなります。この場合、式はシンボル内のシンボルに関連付けられたルールを持たない他の式として出力を参照する必要があります。上記の場合：

P.S. I am not satisfied with its default behavior以降はInputFormを使用することをおすすめしません。

Answer 1

この関数は、それを行うようだ：

Clear[MakeBoxesStop]; 
MakeBoxesStop /: MakeBoxes[MakeBoxesStop[expr_], form_] := 
    Module[{heldHeads = 
    Join @@ Cases[expr,s_Symbol[___] :> HoldComplete[s], {0, Infinity}, 
     Heads -> True], 
    modified, direct, tempContext = ToString[Unique[]] <> "`"}, 
    Block[{$ContextPath = $ContextPath, $Packages = $Packages}, 
    BeginPackage[tempContext]; 
     modified = 
     Join @@ Map[ 
      Function[head, 
      ToExpression[ToLowerCase[ToString[Unevaluated[head]]],InputForm, HoldComplete],  
      HoldAllComplete], 
      heldHeads]; 
    EndPackage[]; 
    With[{newexpr = 
     expr /. (List @@ Thread[HoldPattern /@ heldHeads -> modified, HoldComplete])}, 
     With[{result = 
     MakeBoxes[newexpr, form] /. 
      Thread[Rule @@ 
       Map[List @@ 
       Map[Function[head, ToString[Unevaluated[head]], HoldAllComplete], #] &, 
       {modified , heldHeads}]] 
      }, 
      Remove @@ Names[tempContext <> "*"]; 
      result]]]]; 

それは優雅コンテストを獲得していないだろう、と非常にきれいではないかもしれないが、それはあなたが要求したものをやっているようだ：

In[270]:= MakeBoxesStop[Graphics[Disk[]]] 

Out[270]= Graphics[Disk[List[0, 0]]] 

MakeBoxesStop内の式が評価されないようにするには、適切な属性とUnevaluatedラッパーを本文に追加します。

はEDITは、次のような単純な箱作りの機能がhereを掲載Mathematicaのパーサに基づいています

：次に

Clear[toBoxes]; 
toBoxes[expr_] := 
    First[parse[tokenize[ToString@FullForm[expr]]] //. { 
    head_String[elem_] :> RowBox[{head, "[", elem, "]"}], 
    head_String[elems___] :> RowBox[{head, "[", RowBox[Riffle[{elems}, ","]], "]"}]}] 

、我々は必要があります。たとえば

Clear[MakeBoxesStopAlt]; 
MakeBoxesStopAlt /: MakeBoxes[MakeBoxesStopAlt[expr_], form_] := toBoxes[expr] 

：

In[327]:= MakeBoxesStopAlt[Graphics[Disk[]]] 

Out[327]= Graphics[Disk[List[0, 0]]]