Cutting Edge #2

from OCC import GC
from OCC import gp
from OCC import TopoDS
from OCC import BRepBuilderAPI
from OCC import BRepPrimAPI
from OCC import BRepFill
from OCC.Display.SimpleGui import init_display

a = gp.gp_Pnt(-1.0, 0.0, 0.0)
b = gp.gp_Pnt(0.0, -1.0, 0.0)
c = gp.gp_Pnt(1.0, 0.0, 0.0)

arc1 = GC.GC_MakeArcOfCircle(a, b, c)
arc1Edge = BRepBuilderAPI.BRepBuilderAPI_MakeEdge(arc1.Value())


prismVec = gp.gp_Vec(0.0, 0.0, 5.0)

face = BRepPrimAPI.BRepPrimAPI_MakePrism(arc1Edge.Edge(), prismVec)
vec2 = gp.gp_Vec(0.0, -5.0, 0.0)
body = BRepPrimAPI.BRepPrimAPI_MakePrism(face.Shape(), vec2)


display, start_display, add_menu, add_function_to_menu = init_display()
display.DisplayShape(body.Shape(), update=True)
start_display()