Skip to content

Parameswaran Ajith / gwcourse2023

Go to a project
Commit a793ab7e by Parameswaran Ajith
Options

added mathematica notebook of PN expressions.

parent c15eae00
Inline Side-by-side
Showing with 1302 additions and 0 deletions
tuturials/PN_expresions.nb 0 → 100644
(* Content-type: application/vnd.wolfram.mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 12.3' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 158, 7]
NotebookDataLength[ 60372, 1294]
NotebookOptionsPosition[ 12597, 408]
NotebookOutlinePosition[ 59339, 1278]
CellTagsIndexPosition[ 59296, 1275]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[CellGroupData[{
Cell["Expressions of the PN energy and flux functions ", "Title",
CellChangeTimes->{{3.8854172534018583`*^9, 3.885417279237409*^9}, {
3.887409787702753*^9,
3.8874097986107197`*^9}},ExpressionUUID->"30e709b2-3f69-4e52-ab02-\
6e18c91c8703"],
Cell["Binding energy per unit mass ", "Text",
CellChangeTimes->{{3.887409912121255*^9, 3.8874099133683977`*^9}, {
3.887409985657894*^9,
3.88740998701923*^9}},ExpressionUUID->"d4d27125-2e02-46cf-bdc7-\
5e7bb73fe97d"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"EofV", " ", "=",
RowBox[{
RowBox[{"-",
FractionBox["1", "2"]}], " ",
SuperscriptBox["v", "2"], " ", "\[Eta]", " ",
RowBox[{"(",
RowBox[{"1", "+",
RowBox[{
SuperscriptBox["v", "2"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["3", "4"]}], "-",
FractionBox["\[Eta]", "12"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "4"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["27", "8"]}], "+",
FractionBox[
RowBox[{"19", " ", "\[Eta]"}], "8"], "-",
FractionBox[
SuperscriptBox["\[Eta]", "2"], "24"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "6"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["675", "64"]}], "+",
RowBox[{
RowBox[{"(",
RowBox[{
FractionBox["34445", "576"], "-",
FractionBox[
RowBox[{"205", " ",
SuperscriptBox["\[Pi]", "2"]}], "96"]}], ")"}], " ", "\[Eta]"}],
"-",
FractionBox[
RowBox[{"155", " ",
SuperscriptBox["\[Eta]", "2"]}], "96"], "-",
FractionBox[
RowBox[{"35", " ",
SuperscriptBox["\[Eta]", "3"]}], "5184"]}], ")"}]}]}],
")"}]}]}]], "Input",
CellChangeTimes->{{3.887409824940523*^9, 3.887409871894095*^9}},
CellLabel->"In[16]:=",ExpressionUUID->"c26ac6ea-9521-43e1-8677-90fbdc2acb47"],
Cell[BoxData[
RowBox[{
RowBox[{"-",
FractionBox["1", "2"]}], " ",
SuperscriptBox["v", "2"], " ", "\[Eta]", " ",
RowBox[{"(",
RowBox[{"1", "+",
RowBox[{
SuperscriptBox["v", "2"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["3", "4"]}], "-",
FractionBox["\[Eta]", "12"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "4"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["27", "8"]}], "+",
FractionBox[
RowBox[{"19", " ", "\[Eta]"}], "8"], "-",
FractionBox[
SuperscriptBox["\[Eta]", "2"], "24"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "6"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["675", "64"]}], "+",
RowBox[{
RowBox[{"(",
RowBox[{
FractionBox["34445", "576"], "-",
FractionBox[
RowBox[{"205", " ",
SuperscriptBox["\[Pi]", "2"]}], "96"]}], ")"}], " ", "\[Eta]"}],
"-",
FractionBox[
RowBox[{"155", " ",
SuperscriptBox["\[Eta]", "2"]}], "96"], "-",
FractionBox[
RowBox[{"35", " ",
SuperscriptBox["\[Eta]", "3"]}], "5184"]}], ")"}]}]}],
")"}]}]], "Output",
CellChangeTimes->{{3.887409866526078*^9, 3.887409875515764*^9}},
CellLabel->"Out[16]=",ExpressionUUID->"1b0cee01-c6e8-4183-b208-a4d567cd2972"]
}, Open ]],
Cell["v-derivative of the binding energy ", "Text",
CellChangeTimes->{{3.887409919694713*^9,
3.887409929134755*^9}},ExpressionUUID->"18fa3ad6-cebe-4e97-bc74-\
b7c6459bba08"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"dEofV", " ", "=",
RowBox[{
RowBox[{"-", "v"}], " ", "\[Eta]", " ",
RowBox[{"(",
RowBox[{"1", "+",
RowBox[{
SuperscriptBox["v", "2"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["3", "2"]}], "-",
FractionBox["\[Eta]", "6"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "4"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["81", "8"]}], "+",
FractionBox[
RowBox[{"57", " ", "\[Eta]"}], "8"], "-",
FractionBox[
SuperscriptBox["\[Eta]", "2"], "8"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "6"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["675", "16"]}], "+",
RowBox[{
RowBox[{"(",
RowBox[{
FractionBox["34445", "144"], "-",
FractionBox[
RowBox[{"205", " ",
SuperscriptBox["\[Pi]", "2"]}], "24"]}], ")"}], " ", "\[Eta]"}],
"-",
FractionBox[
RowBox[{"155", " ",
SuperscriptBox["\[Eta]", "2"]}], "24"], "-",
FractionBox[
RowBox[{"35", " ",
SuperscriptBox["\[Eta]", "3"]}], "1296"]}], ")"}]}]}],
")"}]}]}]], "Input",
CellChangeTimes->{{3.887409889783063*^9, 3.887409903511798*^9}},
CellLabel->"In[18]:=",ExpressionUUID->"5aa1ccbd-198a-4670-935b-a4e7a307d8e4"],
Cell[BoxData[
RowBox[{
RowBox[{"-", "v"}], " ", "\[Eta]", " ",
RowBox[{"(",
RowBox[{"1", "+",
RowBox[{
SuperscriptBox["v", "2"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["3", "2"]}], "-",
FractionBox["\[Eta]", "6"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "4"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["81", "8"]}], "+",
FractionBox[
RowBox[{"57", " ", "\[Eta]"}], "8"], "-",
FractionBox[
SuperscriptBox["\[Eta]", "2"], "8"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "6"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["675", "16"]}], "+",
RowBox[{
RowBox[{"(",
RowBox[{
FractionBox["34445", "144"], "-",
FractionBox[
RowBox[{"205", " ",
SuperscriptBox["\[Pi]", "2"]}], "24"]}], ")"}], " ", "\[Eta]"}],
"-",
FractionBox[
RowBox[{"155", " ",
SuperscriptBox["\[Eta]", "2"]}], "24"], "-",
FractionBox[
RowBox[{"35", " ",
SuperscriptBox["\[Eta]", "3"]}], "1296"]}], ")"}]}]}],
")"}]}]], "Output",
CellChangeTimes->{3.88740990396404*^9},
CellLabel->"Out[18]=",ExpressionUUID->"ef7deef0-cbbb-4b7d-adeb-7c2735112cd8"]
}, Open ]],
Cell["GW flux ", "Text",
CellChangeTimes->{{3.887409951403161*^9,
3.887409952614472*^9}},ExpressionUUID->"6152ee93-9849-4a74-b3e4-\
110eff10f3bb"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"FofV", " ", "=", " ",
RowBox[{
FractionBox["32", "5"], " ",
SuperscriptBox["v", "10"], " ",
SuperscriptBox["\[Eta]", "2"], " ",
RowBox[{"(",
RowBox[{"1", "+",
RowBox[{"4", " ", "\[Pi]", " ",
SuperscriptBox["v", "3"]}], "+",
RowBox[{"\[Pi]", " ",
SuperscriptBox["v", "5"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["8191", "672"]}], "-",
FractionBox[
RowBox[{"583", " ", "\[Eta]"}], "24"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "2"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["1247", "336"]}], "-",
FractionBox[
RowBox[{"35", " ", "\[Eta]"}], "12"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "4"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["44711", "9072"]}], "+",
FractionBox[
RowBox[{"9271", " ", "\[Eta]"}], "504"], "+",
FractionBox[
RowBox[{"65", " ",
SuperscriptBox["\[Eta]", "2"]}], "18"]}], ")"}]}], "+",
RowBox[{"\[Pi]", " ",
SuperscriptBox["v", "7"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["16285", "504"]}], "+",
FractionBox[
RowBox[{"214745", " ", "\[Eta]"}], "1728"], "+",
FractionBox[
RowBox[{"193385", " ",
SuperscriptBox["\[Eta]", "2"]}], "3024"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "6"], " ",
RowBox[{"(",
RowBox[{
FractionBox["6643739519", "69854400"], "+",
FractionBox[
RowBox[{"16", " ",
SuperscriptBox["\[Pi]", "2"]}], "3"], "-",
FractionBox[
RowBox[{"1712", " ", "\[Gamma]"}], "105"], "+",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["134543", "7776"]}], "+",
FractionBox[
RowBox[{"41", " ",
SuperscriptBox["\[Pi]", "2"]}], "48"]}], ")"}], " ", "\[Eta]"}],
"-",
FractionBox[
RowBox[{"94403", " ",
SuperscriptBox["\[Eta]", "2"]}], "3024"], "-",
FractionBox[
RowBox[{"775", " ",
SuperscriptBox["\[Eta]", "3"]}], "324"], "-",
RowBox[{
FractionBox["1712", "105"], " ",
RowBox[{"Log", "[",
RowBox[{"4", " ", "v"}], "]"}]}]}], ")"}]}]}], ")"}]}]}]], "Input",
CellChangeTimes->{{3.887409946254635*^9, 3.887409975231509*^9}},
CellLabel->"In[21]:=",ExpressionUUID->"42ff43c6-baad-4708-94cd-0096182357ca"],
Cell[BoxData[
RowBox[{
FractionBox["32", "5"], " ",
SuperscriptBox["v", "10"], " ",
SuperscriptBox["\[Eta]", "2"], " ",
RowBox[{"(",
RowBox[{"1", "+",
RowBox[{"4", " ", "\[Pi]", " ",
SuperscriptBox["v", "3"]}], "+",
RowBox[{"\[Pi]", " ",
SuperscriptBox["v", "5"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["8191", "672"]}], "-",
FractionBox[
RowBox[{"583", " ", "\[Eta]"}], "24"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "2"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["1247", "336"]}], "-",
FractionBox[
RowBox[{"35", " ", "\[Eta]"}], "12"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "4"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["44711", "9072"]}], "+",
FractionBox[
RowBox[{"9271", " ", "\[Eta]"}], "504"], "+",
FractionBox[
RowBox[{"65", " ",
SuperscriptBox["\[Eta]", "2"]}], "18"]}], ")"}]}], "+",
RowBox[{"\[Pi]", " ",
SuperscriptBox["v", "7"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["16285", "504"]}], "+",
FractionBox[
RowBox[{"214745", " ", "\[Eta]"}], "1728"], "+",
FractionBox[
RowBox[{"193385", " ",
SuperscriptBox["\[Eta]", "2"]}], "3024"]}], ")"}]}], "+",
RowBox[{
SuperscriptBox["v", "6"], " ",
RowBox[{"(",
RowBox[{
FractionBox["6643739519", "69854400"], "+",
FractionBox[
RowBox[{"16", " ",
SuperscriptBox["\[Pi]", "2"]}], "3"], "-",
FractionBox[
RowBox[{"1712", " ", "\[Gamma]"}], "105"], "+",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-",
FractionBox["134543", "7776"]}], "+",
FractionBox[
RowBox[{"41", " ",
SuperscriptBox["\[Pi]", "2"]}], "48"]}], ")"}], " ", "\[Eta]"}],
"-",
FractionBox[
RowBox[{"94403", " ",
SuperscriptBox["\[Eta]", "2"]}], "3024"], "-",
FractionBox[
RowBox[{"775", " ",
SuperscriptBox["\[Eta]", "3"]}], "324"], "-",
RowBox[{
FractionBox["1712", "105"], " ",
RowBox[{"Log", "[",
RowBox[{"4", " ", "v"}], "]"}]}]}], ")"}]}]}], ")"}]}]], "Output",
CellChangeTimes->{{3.8874099694711227`*^9, 3.887409976009384*^9}},
CellLabel->"Out[21]=",ExpressionUUID->"39afbe4d-f186-49d1-8f55-031300cb22c3"]
}, Open ]],
Cell[BoxData[""], "Input",
CellChangeTimes->{{3.887409863519418*^9,
3.8874098635207357`*^9}},ExpressionUUID->"610534f3-463d-48f7-a649-\
4fed6c5349ea"]
}, Open ]]
},
WindowSize->{1080, 774},
WindowMargins->{{175, Automatic}, {Automatic, 0}},
DockedCells->{
Cell[
BoxData[
DynamicModuleBox[{LinterUIDockedCell`Private`notebook$$},
GraphicsBox[{
InsetBox[
TemplateBox[{
PaneBox[
StyleBox[
"\"Code Analysis\"", FontColor -> GrayLevel[0.4], FontFamily ->
"Source Sans Pro", FontWeight -> Plain, FontSize -> 13,
StripOnInput -> False],
BaselinePosition -> (Baseline -> Scaled[0.65])],
TemplateBox[{8}, "Spacer1"],
PaneBox[
PaneSelectorBox[{{False, False} ->
TemplateBox[{0}, "Spacer1"], {True, False} ->
TemplateBox[{0}, "Spacer1"], {True, True} -> PaneBox[
InterpretationBox[
DynamicBox[
FEPrivate`FrontEndResource[
"FEExpressions", "PercolateAnimator"][Medium]],
ProgressIndicator[Appearance -> "Percolate"],
BaseStyle -> {"Deploy"}], BaselinePosition -> Scaled[0.05]], {
False, True} ->
DynamicModuleBox[{
CodeInspector`LinterUI`Private`tracker$$ =
CodeInspector`LinterUI`Private`DynamicTriggers`\
dockedCellLintCounts},
DynamicWrapperBox[
DynamicBox[
ToBoxes[
CodeInspector`LinterUI`Private`tracker$$;
LinterUIDockedCell`Private`dockedCellSeverityCountsButton[
LinterUIDockedCell`Private`notebook$$], TraditionalForm],
TrackedSymbols :> {
CodeInspector`LinterUI`Private`tracker$$}],
If[
CodeInspector`LinterUI`Private`tracker$$ =!=
CodeInspector`LinterUI`Private`DynamicTriggers`\
dockedCellLintCounts, CodeInspector`LinterUI`Private`tracker$$ =
CodeInspector`LinterUI`Private`DynamicTriggers`\
dockedCellLintCounts]], DynamicModuleValues :> {}]},
Dynamic[FEPrivate`EvaluatorStatus["Local"]; {
CodeInspector`LinterUI`Private`varValue[
LinterUIDockedCell`Private`notebook$$, "AnalysisInProgressQ"],
TrueQ[
CodeInspector`LinterUI`Private`varValue[
LinterUIDockedCell`Private`notebook$$,
"DockedCellPresentQ"]]}], ImageSize -> Automatic],
BaselinePosition -> Scaled[0.15]]}, "Row",
DisplayFunction -> (PaneBox[
RowBox[{
TemplateSlotSequence[1, "\[InvisibleSpace]"]}], Alignment ->
Baseline]& ), InterpretationFunction -> (RowBox[{"Row", "[",
RowBox[{
RowBox[{"{",
TemplateSlotSequence[1, ","], "}"}], ",",
RowBox[{"Alignment", "\[Rule]", "Baseline"}]}], "]"}]& )],
Offset[{8, 0}, {-1, 0}], {-1, 0}],
InsetBox[
PaneSelectorBox[{
True -> DynamicModuleBox[{
CodeInspector`LinterUI`Private`hoverQ$$ = False,
CodeInspector`LinterUI`Private`mouseDownQ$$ = False,
CodeInspector`LinterUI`Private`fontColor$$},
ButtonBox[
DynamicWrapperBox[
TemplateBox[{
DynamicWrapperBox[
StyleBox[
PaneBox[
"\"Reanalyze Notebook\"", ContentPadding -> True,
FrameMargins -> None, BaselinePosition -> Baseline],
FontColor ->
Dynamic[CodeInspector`LinterUI`Private`fontColor$$],
FontColor -> GrayLevel[0.2], FontFamily ->
"Source Sans Pro", FontWeight -> Plain, FontSize -> 14,
StripOnInput -> False],
CodeInspector`LinterUI`Private`fontColor$$ = Which[
TrueQ[
Not[
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"ActiveQ"]]],
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"TextInactiveColor"],
CodeInspector`LinterUI`Private`hoverQ$$,
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"TextHoverColor"], True,
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"TextColor"]]], ContentPadding -> False,
FrameMargins -> {{9, 9}, {0, 0}},
Alignment -> {Center, Center}, ImageSize -> {Automatic, 19},
RoundingRadius -> 3, FrameStyle -> Dynamic[
Directive[
AbsoluteThickness[0.5],
Which[
TrueQ[
Not[
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"ActiveQ"]]],
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"EdgeInactiveColor"],
CodeInspector`LinterUI`Private`hoverQ$$,
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"EdgeHoverColor"], True,
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"EdgeColor"]]]], Background -> Dynamic[
Which[
TrueQ[
Not[
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"ActiveQ"]]],
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"BackInactiveColor"],
And[
CodeInspector`LinterUI`Private`hoverQ$$,
CodeInspector`LinterUI`Private`mouseDownQ$$],
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"BackMouseDownColor"],
CodeInspector`LinterUI`Private`hoverQ$$,
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"BackHoverColor"], True,
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"},
"BackColor"]]]}, "Highlighted"],
CodeInspector`LinterUI`Private`hoverQ$$ =
CurrentValue["MouseOver"];
CodeInspector`LinterUI`Private`mouseDownQ$$ =
CurrentValue["MouseButtonTest"]],
Appearance -> {
"Default" ->
Image[RawArray["UnsignedInteger8",{{{255, 255, 255, 255}, {0,
0, 0, 255}, {255, 255, 255, 255}}, {{0, 0, 0, 255}, {0, 0,
0, 0}, {0, 0, 0, 255}}, {{255, 255, 255, 255}, {0, 0, 0,
255}, {255, 255, 255, 255}}}], "Byte", ColorSpace -> "RGB",
ImageResolution -> {72, 72}, Interleaving -> True], "Hover" ->
Image[RawArray["UnsignedInteger8",{{{255, 255, 255, 255}, {0,
0, 0, 255}, {255, 255, 255, 255}}, {{0, 0, 0, 255}, {0, 0,
0, 0}, {0, 0, 0, 255}}, {{255, 255, 255, 255}, {0, 0, 0,
255}, {255, 255, 255, 255}}}], "Byte", ColorSpace -> "RGB",
ImageResolution -> {72, 72}, Interleaving -> True],
"Pressed" ->
Image[RawArray["UnsignedInteger8",{{{255, 255, 255, 255}, {0,
0, 0, 255}, {255, 255, 255, 255}}, {{0, 0, 0, 255}, {0, 0,
0, 0}, {0, 0, 0, 255}}, {{255, 255, 255, 255}, {0, 0, 0,
255}, {255, 255, 255, 255}}}], "Byte", ColorSpace -> "RGB",
ImageResolution -> {72, 72}, Interleaving -> True]},
BaselinePosition -> Baseline,
ButtonFunction :> (
If[
OptionValue[{
ImageSize -> {Automatic, 19},
FrameMargins -> {9 {1, 1}, 0 {1, 1}}, BaselinePosition ->
Baseline, Alignment -> {Center, Center}, Method ->
"Preemptive", "ActiveQ" -> True, "TextColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonText"],
"TextHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextHover"], "TextInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonTextInactive"], "BackColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonBack"],
"BackHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackHover"], "BackMouseDownColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackMouseDown"], "BackInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonBackInactive"], "EdgeColor" ->
CodeInspector`LinterUI`Private`colorData["ButtonEdge"],
"EdgeHoverColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeHover"], "EdgeInactiveColor" ->
CodeInspector`LinterUI`Private`colorData[
"ButtonEdgeInactive"]}, {Method -> "Queued"}, "ActiveQ"] =!=
False,
CodeInspector`LinterUI`Private`attachAnalysisAction[
EvaluationNotebook[]]];
CodeInspector`LinterUI`Private`mouseDownQ$$ = False),
ContentPadding -> False, Evaluator -> Automatic, Method ->
"Queued"], DynamicModuleValues :> {}], False -> ButtonBox[
TemplateBox[{
StyleBox[
"\"Analyze Notebook\"", FontColor -> GrayLevel[0.2], FontFamily ->
"Source Sans Pro", FontWeight -> Plain, FontSize -> 14,
StripOnInput -> False], ImageSize -> {Automatic, 19},
FrameMargins -> {{9, 9}, {0, 0}}, BaselinePosition -> Baseline,
Alignment -> {Center, Center}, Background -> GrayLevel[1],
FrameStyle -> Dynamic[
If[
CurrentValue["MouseOver"],
Hue[0.55, 0.82, 0.87],
GrayLevel[0.8]]]}, "Highlighted"],
Appearance -> {
"Default" ->
Image[RawArray["UnsignedInteger8",{{{255, 255, 255, 255}, {0, 0,
0, 255}, {255, 255, 255, 255}}, {{0, 0, 0, 255}, {0, 0, 0,
0}, {0, 0, 0, 255}}, {{255, 255, 255, 255}, {0, 0, 0, 255}, {
255, 255, 255, 255}}}], "Byte", ColorSpace -> "RGB",
ImageResolution -> {72, 72}, Interleaving -> True], "Hover" ->
Image[RawArray["UnsignedInteger8",{{{255, 255, 255, 255}, {0, 0,
0, 255}, {255, 255, 255, 255}}, {{0, 0, 0, 255}, {0, 0, 0,
0}, {0, 0, 0, 255}}, {{255, 255, 255, 255}, {0, 0, 0, 255}, {
255, 255, 255, 255}}}], "Byte", ColorSpace -> "RGB",
ImageResolution -> {72, 72}, Interleaving -> True], "Pressed" ->
Image[RawArray["UnsignedInteger8",{{{255, 255, 255, 255}, {0, 0,
0, 255}, {255, 255, 255, 255}}, {{0, 0, 0, 255}, {0, 0, 0,
0}, {0, 0, 0, 255}}, {{255, 255, 255, 255}, {0, 0, 0, 255}, {
255, 255, 255, 255}}}], "Byte", ColorSpace -> "RGB",
ImageResolution -> {72, 72}, Interleaving -> True]},
ButtonFunction :> (CurrentValue[
EvaluationNotebook[], DockedCells] =
With[{LinterUIDockedCell`Private`dockedCells = CurrentValue[
EvaluationNotebook[], DockedCells]},
Pick[LinterUIDockedCell`Private`dockedCells,
Map[Quiet[
Options[#, CellTags]] =!= {
CellTags -> "CodeAnalysisDockedCell"}& ,
LinterUIDockedCell`Private`dockedCells]]];
Needs["CodeInspector`"];
CodeInspector`AttachAnalysis[
LinterUIDockedCell`Private`notebook$$]), Evaluator -> Automatic,
Method -> "Queued"]},
Dynamic[FEPrivate`EvaluatorStatus["Local"]; TrueQ[
CodeInspector`LinterUI`Private`varValue[
LinterUIDockedCell`Private`notebook$$, "DockedCellPresentQ"]]],
ImageSize -> Automatic],
Offset[{-26, 0}, {1, 0}], {1, 0}],
TagBox[
TagBox[
TooltipBox[{{
GrayLevel[0.6],
DiskBox[
Offset[{-11, 0}, {1, 0}],
Offset[6]]}, {
GrayLevel[0.97],
AbsoluteThickness[1.5],
CapForm["Round"],
LineBox[{{
Offset[{-13, 2}, {1, 0}],
Offset[{-9, -2}, {1, 0}]}, {
Offset[{-13, -2}, {1, 0}],
Offset[{-9, 2}, {1, 0}]}}]}}, "\"Close analysis\"",
TooltipDelay -> 0, TooltipStyle -> "TextStyling"],
Annotation[#, "Close analysis", "Tooltip"]& ],
EventHandlerTag[{"MouseClicked" :> (Map[NotebookDelete,
Flatten[
CodeInspector`LinterUI`Private`varValue[
LinterUIDockedCell`Private`notebook$$, All,
"UIAttachedCells"]]]; Map[NotebookDelete,
Flatten[
CodeInspector`LinterUI`Private`varValue[
LinterUIDockedCell`Private`notebook$$, All,
"CleanCellBracketMarker"]]]; CurrentValue[
EvaluationNotebook[], DockedCells] =
With[{LinterUIDockedCell`Private`dockedCells = CurrentValue[
EvaluationNotebook[], DockedCells]},
Pick[LinterUIDockedCell`Private`dockedCells,
Map[Quiet[
Options[#, CellTags]] =!= {
CellTags -> "CodeAnalysisDockedCell"}& ,
LinterUIDockedCell`Private`dockedCells]]];
CodeInspector`LinterUI`Private`applyToVar[Remove, {
EvaluationNotebook[], All}];
CodeInspector`LinterUI`Private`varSet[{
LinterUIDockedCell`Private`notebook$$, "DockedCellPresentQ"},
False]), Method -> "Preemptive", PassEventsDown -> Automatic,
PassEventsUp -> True}]]}, AspectRatio -> Full,
ImageSize -> {Full, 23}, PlotRange -> {{-1, 1}, {-1, 1}}],
Deinitialization :>
CodeInspector`LinterUI`Private`varSet[{
LinterUIDockedCell`Private`notebook$$, "DockedCellPresentQ"}, False],
DynamicModuleValues :> {},
Initialization :> ({
LinterUIDockedCell`Private`dockedCellSeverityCountsButton[
Pattern[LinterUIDockedCell`Private`notebook,
Blank[NotebookObject]]] :=
With[{LinterUIDockedCell`Private`formatIcon =
Show[#, ImageSize -> {13, 9}, BaselinePosition -> Scaled[-0.2]]& },
ActionMenu[
Highlighted[
Row[{
CodeInspector`LinterUI`Private`lintSeverityCountsIconRow[
LinterUIDockedCell`Private`notebook, "exclamSize" -> 12,
FontSize -> 14, FontWeight -> Plain],
Spacer[2],
LinterUIDockedCell`Private`formatIcon[
CodeInspector`LinterUI`Private`iconData["DownChevron"][
CodeInspector`LinterUI`Private`colorData["UIDark"]]]}],
ImageSize -> {Automatic, 19}, BaselinePosition -> Baseline,
Background -> White, Frame -> True, FrameStyle -> Dynamic[
If[
CurrentValue["MouseOver"],
Hue[0.55, 0.82, 0.87],
GrayLevel[0.8]]], FrameMargins -> {6 {1, 1}, {1, 1}},
Alignment -> {Center, Baseline}],
Map[
LinterUIDockedCell`Private`dockedCellMenuItem[
LinterUIDockedCell`Private`notebook, #]& ,
CodeInspector`LinterUI`Private`varValue[
LinterUIDockedCell`Private`notebook, All, "Cell"]], Appearance ->
None]], LinterUIDockedCell`Private`dockedCellMenuItem[
Pattern[LinterUIDockedCell`Private`notebook,
Blank[NotebookObject]],
Pattern[LinterUIDockedCell`Private`cell,
Blank[CellObject]]] := With[{}, Graphics[{
Inset[
With[{LinterUIDockedCell`Private`expressionString = First[
FrontEndExecute[
FrontEnd`ExportPacket[
First[
CodeInspector`LinterUI`Private`varValue[
LinterUIDockedCell`Private`notebook,
LinterUIDockedCell`Private`cell, "CellContents"]],
"InputText"]]]}, {
LinterUIDockedCell`Private`noLineBreaks =
StringReplace[
LinterUIDockedCell`Private`expressionString, "\n" -> " "]}, {
LinterUIDockedCell`Private`previewString =
StringTake[LinterUIDockedCell`Private`noLineBreaks, {1,
UpTo[LinterUIDockedCell`Private`$previewLength]}]},
CodeInspector`LinterUI`Private`styleData["FixedWidth"][
If[
StringLength[LinterUIDockedCell`Private`expressionString] >
LinterUIDockedCell`Private`$previewLength,
StringJoin[
StringDrop[LinterUIDockedCell`Private`previewString, -1],
"\[Ellipsis]"],
LinterUIDockedCell`Private`previewString]]], {-1, 0}, {-1,
0}],
Inset[
CodeInspector`LinterUI`Private`lintSeverityCountsIconRow[
LinterUIDockedCell`Private`cell], {1, 0}, {1, 0}]},
ImageSize -> {300, 25}, AspectRatio -> Full,
PlotRange -> {{-1, 1}, {-1, 1}}, ImagePadding -> None] :> (
SelectionMove[LinterUIDockedCell`Private`cell, All, Cell];
With[{LinterUIDockedCell`Private`nb =
ParentNotebook[LinterUIDockedCell`Private`cell]},
FrontEndExecute[
FrontEnd`FrontEndToken[
LinterUIDockedCell`Private`nb, "OpenSelectionParents"]]];
SelectionMove[LinterUIDockedCell`Private`cell, After, Cell])],
LinterUIDockedCell`Private`$previewLength = 28,
CodeInspector`LinterUI`Private`applyToVar[
Pattern[CodeInspector`LinterUI`Private`function,
Blank[]], {
Pattern[CodeInspector`LinterUI`Private`notebook,
Blank[NotebookObject]], All,
Pattern[CodeInspector`LinterUI`Private`name,
Blank[String]]},
Pattern[CodeInspector`LinterUI`Private`args,
BlankNullSequence[]]] :=
Map[Apply[CodeInspector`LinterUI`Private`function,
Join[
ToHeldExpression[#],
Hold[CodeInspector`LinterUI`Private`args]]]& ,
Names[
StringJoin[
StringJoin[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`notebook], "*"],
CodeInspector`LinterUI`Private`name]]], Null,
CodeInspector`LinterUI`Private`applyToVar[
Pattern[CodeInspector`LinterUI`Private`function,
Blank[]], {
Pattern[CodeInspector`LinterUI`Private`nameArguments,
BlankSequence[]],
Pattern[CodeInspector`LinterUI`Private`name,
Blank[String]]},
Pattern[CodeInspector`LinterUI`Private`args,
BlankNullSequence[]]] :=
Apply[CodeInspector`LinterUI`Private`function,
Join[
ToHeldExpression[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`nameArguments]],
Hold[CodeInspector`LinterUI`Private`args]]], Null,
CodeInspector`LinterUI`Private`applyToVar[
Pattern[CodeInspector`LinterUI`Private`function,
Blank[]], {
Pattern[CodeInspector`LinterUI`Private`nameArguments,
BlankSequence[]], All},
Pattern[CodeInspector`LinterUI`Private`args,
BlankNullSequence[]]] :=
Map[Apply[CodeInspector`LinterUI`Private`function,
Join[
ToHeldExpression[#],
Hold[CodeInspector`LinterUI`Private`args]]]& ,
Names[
StringJoin[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`nameArguments], "*"]]],
CodeInspector`LinterUI`Private`varValue[
Pattern[CodeInspector`LinterUI`Private`notebook,
Blank[NotebookObject]], All,
Pattern[CodeInspector`LinterUI`Private`name,
Blank[String]]] := Map[Symbol,
Names[
StringJoin[
StringJoin[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`notebook], "*"],
CodeInspector`LinterUI`Private`name]]], Null,
CodeInspector`LinterUI`Private`varValue[
Pattern[CodeInspector`LinterUI`Private`nameArguments,
BlankSequence[]],
Pattern[CodeInspector`LinterUI`Private`name,
Blank[String]]] := Symbol[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`nameArguments,
CodeInspector`LinterUI`Private`name]], Null,
CodeInspector`LinterUI`Private`varValue[
Pattern[CodeInspector`LinterUI`Private`nameArguments,
BlankSequence[]], All] := Map[Symbol,
Names[
StringJoin[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`nameArguments], "*"]]],
CodeInspector`LinterUI`Private`varSet[{
Pattern[CodeInspector`LinterUI`Private`nameArguments,
BlankSequence[]]},
Pattern[CodeInspector`LinterUI`Private`value,
Blank[]]] := Apply[Set,
Append[
ToHeldExpression[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`nameArguments]],
CodeInspector`LinterUI`Private`value]],
CodeInspector`LinterUI`Private`varNameString[
Pattern[CodeInspector`LinterUI`Private`notebook,
Blank[NotebookObject]]] := StringJoin[
StringJoin[
StringJoin["CodeInspector`LinterUI`Private`Vars`", "$$"],
With[{CodeInspector`LinterUI`Private`nbID =
Last[CodeInspector`LinterUI`Private`notebook]},
If[
StringQ[CodeInspector`LinterUI`Private`nbID],
StringReplace[CodeInspector`LinterUI`Private`nbID, "-" -> "$"],
ToString[CodeInspector`LinterUI`Private`nbID]]]], "$$"], Null,
CodeInspector`LinterUI`Private`varNameString[
Pattern[CodeInspector`LinterUI`Private`cell,
Blank[CellObject]]] := StringJoin[
StringJoin[
CodeInspector`LinterUI`Private`varNameString[
Replace[
ParentNotebook[CodeInspector`LinterUI`Private`cell], $Failed ->
EvaluationNotebook[]]],
With[{CodeInspector`LinterUI`Private`cellID =
First[CodeInspector`LinterUI`Private`cell]},
If[
StringQ[CodeInspector`LinterUI`Private`cellID],
StringReplace[CodeInspector`LinterUI`Private`cellID, "-" -> "$"],
ToString[CodeInspector`LinterUI`Private`cellID]]]], "$$"], Null,
CodeInspector`LinterUI`Private`varNameString[
Pattern[CodeInspector`LinterUI`Private`notebook,
Blank[NotebookObject]],
Pattern[CodeInspector`LinterUI`Private`cell,
Blank[CellObject]]] := StringJoin[
StringJoin[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`notebook],
With[{CodeInspector`LinterUI`Private`cellID =
First[CodeInspector`LinterUI`Private`cell]},
If[
StringQ[CodeInspector`LinterUI`Private`cellID],
StringReplace[CodeInspector`LinterUI`Private`cellID, "-" -> "$"],
ToString[CodeInspector`LinterUI`Private`cellID]]]], "$$"], Null,
CodeInspector`LinterUI`Private`varNameString[
Pattern[CodeInspector`LinterUI`Private`notebook,
Blank[NotebookObject]],
Pattern[CodeInspector`LinterUI`Private`name,
Blank[String]]] := StringJoin[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`notebook],
CodeInspector`LinterUI`Private`name], Null,
CodeInspector`LinterUI`Private`varNameString[
Pattern[CodeInspector`LinterUI`Private`cell,
Blank[CellObject]],
Pattern[CodeInspector`LinterUI`Private`name,
Blank[String]]] := StringJoin[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`cell],
CodeInspector`LinterUI`Private`name], Null,
CodeInspector`LinterUI`Private`varNameString[
Pattern[CodeInspector`LinterUI`Private`notebook,
Blank[NotebookObject]],
Pattern[CodeInspector`LinterUI`Private`cell,
Blank[CellObject]],
Pattern[CodeInspector`LinterUI`Private`name,
Blank[String]]] := StringJoin[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`notebook,
CodeInspector`LinterUI`Private`cell],
CodeInspector`LinterUI`Private`name], Null,
CodeInspector`LinterUI`Private`varNameString[
Pattern[CodeInspector`LinterUI`Private`nameArguments,
BlankSequence[]],
Pattern[CodeInspector`LinterUI`Private`lint,
Blank[CodeInspector`InspectionObject]],
Pattern[CodeInspector`LinterUI`Private`name,
Blank[String]]] := StringJoin[
StringJoin[
StringJoin[
CodeInspector`LinterUI`Private`varNameString[
CodeInspector`LinterUI`Private`nameArguments],
Apply[Sequence,
Riffle[
Map[StringDelete[
ToString[#],
Alternatives["[", "]", "{", "}", ",", " "]]& ,
CodeInspector`LinterUI`Private`extractFirstList[
Last[CodeInspector`LinterUI`Private`lint][
CodeParser`Source]]], "$"]]], "$$"],
CodeInspector`LinterUI`Private`name],
CodeInspector`LinterUI`Private`extractFirstList[
Pattern[CodeInspector`LinterUI`Private`expr,
Blank[]]] := FirstCase[CodeInspector`LinterUI`Private`expr,
Blank[List], {}, {0, Infinity}]};
LinterUIDockedCell`Private`notebook$$ = EvaluationNotebook[]),
UnsavedVariables :> {LinterUIDockedCell`Private`notebook$$}]],
CellFrame -> {{0, 0}, {1, 1}}, CellFrameMargins -> {{0, 0}, {0, 0}},
CellFrameColor -> GrayLevel[0.85], Background -> GrayLevel[0.97], CellTags ->
"CodeAnalysisDockedCell"]},
TaggingRules->Association["TryRealOnly" -> False],
FrontEndVersion->"12.3 for Mac OS X x86 (64-bit) (July 9, 2021)",
StyleDefinitions->"Default.nb",
ExpressionUUID->"7e37ce64-a28c-41a6-8d7d-7f2a227fba89"
]
(* End of Notebook Content *)
(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 244, 4, 98, "Title",ExpressionUUID->"30e709b2-3f69-4e52-ab02-6e18c91c8703"],
Cell[827, 28, 221, 4, 35, "Text",ExpressionUUID->"d4d27125-2e02-46cf-bdc7-5e7bb73fe97d"],
Cell[CellGroupData[{
Cell[1073, 36, 1508, 47, 53, "Input",ExpressionUUID->"c26ac6ea-9521-43e1-8677-90fbdc2acb47"],
Cell[2584, 85, 1435, 46, 57, "Output",ExpressionUUID->"1b0cee01-c6e8-4183-b208-a4d567cd2972"]
}, Open ]],
Cell[4034, 134, 177, 3, 35, "Text",ExpressionUUID->"18fa3ad6-cebe-4e97-bc74-b7c6459bba08"],
Cell[CellGroupData[{
Cell[4236, 141, 1449, 45, 53, "Input",ExpressionUUID->"5aa1ccbd-198a-4670-935b-a4e7a307d8e4"],
Cell[5688, 188, 1352, 44, 57, "Output",ExpressionUUID->"ef7deef0-cbbb-4b7d-adeb-7c2735112cd8"]
}, Open ]],
Cell[7055, 235, 150, 3, 35, "Text",ExpressionUUID->"6152ee93-9849-4a74-b3e4-110eff10f3bb"],
Cell[CellGroupData[{
Cell[7230, 242, 2643, 78, 123, "Input",ExpressionUUID->"42ff43c6-baad-4708-94cd-0096182357ca"],
Cell[9876, 322, 2536, 77, 103, "Output",ExpressionUUID->"39afbe4d-f186-49d1-8f55-031300cb22c3"]
}, Open ]],
Cell[12427, 402, 154, 3, 30, InheritFromParent,ExpressionUUID->"610534f3-463d-48f7-a649-4fed6c5349ea"]
}, Open ]]
}
]
*)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or sign in to comment