Patches ( source: SourceFile )

[+] def addPatch ( pos: Position , replacement: String ) : Unit

[+] def apply ( cs: Array [ Char ] ) : Array [ Char ]

[+] def writeBack ( ) : Unit