Class PushElementOperation

java.lang.Object
ro.sync.ecss.extensions.dita.conref.PushElementOperation
All Implemented Interfaces:
AuthorOperation, Extension

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