案外人执行异议之诉判决主文的写法，通常需要明确判决的核心内容，即法院对案外人提出的执行异议是否支持，以及具体的处理方式。以下是一个较为通用的判决主文写法框架，并结合不同情况给出具体示例：

一、判决主文通用框架

1. 停止执行与解除措施：若法院支持案外人的异议，判决主文应明确停止对特定财产的执行程序，并解除对该财产的查封、扣押、冻结等执行措施。

2. 确认权利：判决主文应确认案外人对执行标的物享有的具体权利，如所有权、租赁权等。

3. 撤销或变更执行文书：若存在相关执行裁定书或其他执行文书，且法院认为需要撤销或变更的，应在判决主文中明确。

4. 诉讼费用承担：判决主文应明确诉讼费用的承担方。

二、具体示例

示例一：支持案外人异议，确认所有权并停止执行

判决主文：

1. 立即停止对位于[具体财产地址]的[具体财产名称，如房产]的执行程序，并解除对该房产的查封、扣押、冻结等执行措施；
2. 确认原告（案外人）对上述房产享有所有权；
3. 撤销[执行裁定书编号]执行裁定书；
4. 本案诉讼费用由被告（申请执行人）承担。

示例二：部分支持案外人异议，确认租赁权并调整执行措施

判决主文：

1. 调整对位于[具体财产地址]的[具体财产名称，如商铺]的执行措施，允许原告（案外人）在租赁期内继续使用该商铺，但不得转让、转租或设定其他权利负担；
2. 确认原告对上述商铺享有租赁权，租赁期限至[具体日期]；
3. 驳回原告关于完全停止执行的其他诉讼请求；
4. 本案诉讼费用由原告（案外人）与被告（申请执行人）按比例承担。

示例三：不支持案外人异议，维持执行措施

判决主文：

1. 驳回原告（案外人）关于停止对位于[具体财产地址]的[具体财产名称]的执行程序并解除查封、扣押、冻结等执行措施的诉讼请求；
2. 确认原告对上述财产不享有足以排除执行的权利；
3. 维持[执行裁定书编号]执行裁定书的效力；
4. 本案诉讼费用由原告（案外人）承担。

三、注意事项

1. 事实与理由的充分性：判决主文的内容应基于充分的事实与理由，确保判决的合法性和合理性。因此，在撰写判决主文前，应详细审查案外人的异议理由、证据材料以及执行标的物的权属情况等。

2. 法律适用的准确性：判决主文应准确适用相关法律法规和司法解释，确保判决的权威性和可执行性。在引用法律条文时，应注明具体的条款编号和内容。

3. 判决的明确性和可操作性：判决主文应明确具体、具有可操作性，避免使用模糊或歧义的表述。例如，在确认权利时，应明确权利的类型、范围和期限等；在停止执行时，应明确停止执行的具体财产和执行措施等。

4. 诉讼费用的承担：根据《诉讼费用交纳办法》等相关规定，合理确定诉讼费用的承担方。通常，诉讼费用由败诉方承担，但也有部分情况下由双方按比例承担或由法院根据具体情况决定。

在撰写案外人执行异议之诉判决主文时，应综合考虑案件的具体情况、法律法规的适用以及判决的明确性和可操作性等因素。如有任何疑问或需要进一步的法律帮助，请直接向我咨询。