@Nonnull
  public ESuccess writeToFile (@Nonnull final IPSElement aPSElement, @Nonnull final File aFile) {
    """
	Write the passed Schematron element to the passed file.
	
	@param aPSElement
	The schematron element to write. May not be <code>null</code>.
	@param aFile
	The file to write things to. May not be <code>null</code>.
	@return {@link ESuccess}.
    """
    ValueEnforcer.notNull (aPSElement, "PSElement");
    final IMicroElement eXML = aPSElement.getAsMicroElement ();
    return MicroWriter.writeToFile (getAsDocument (eXML), aFile, m_aWriterSettings.getXMLWriterSettings ());
  }
@Nonnull
  public ESuccess writeToFile (@Nonnull final IPSElement aPSElement, @Nonnull final File aFile)
  {
    ValueEnforcer.notNull (aPSElement, "PSElement");
    final IMicroElement eXML = aPSElement.getAsMicroElement ();
    return MicroWriter.writeToFile (getAsDocument (eXML), aFile, m_aWriterSettings.getXMLWriterSettings ());
  }
@ Nonnull public ESuccess writeToFile ( @ Nonnull final IPSElement aPSElement , @ Nonnull final File aFile ) { ValueEnforcer . notNull ( aPSElement , "PSElement" ) ; final IMicroElement eXML = aPSElement . getAsMicroElement ( ) ; return MicroWriter . writeToFile ( getAsDocument ( eXML ) , aFile , m_aWriterSettings . getXMLWriterSettings ( ) ) ; }
Write the passed Schematron element to the passed file.

@param aPSElement
The schematron element to write. May not be <code>null</code>.
@param aFile
The file to write things to. May not be <code>null</code>.
@return {@link ESuccess}.
Write the passed Schematron element to the passed file .