package flash.filters {
public class ShaderFilter extends flash.filters:BitmapFilter {
public function ShaderFilter(shader:Shader);
public function get bottomExtension():int;
public function get leftExtension():int;
public function get rightExtension():int;
public function get shader():Shader;
public function get topExtension():int;
public function set bottomExtension(v:int):void;
public function set leftExtension(v:int):void;
public function set rightExtension(v:int):void;
public function set shader(shader:Shader):void;
public function set topExtension(v:int):void;
}
}