Class PushElementOperation

  • All Implemented Interfaces:
    AuthorOperation, Extension

    @API(type=INTERNAL,
         src=PUBLIC)
    public class PushElementOperation
    extends java.lang.Object
    implements AuthorOperation
    Operation used to insert a push operation in DITA documents.