Merge pull request #702 from MarcMil/extensibility

Missing summaries

Author: StevenArzt

soot-infoflow-summaries/summariesManual/java.io.PrintWriter.xml

@@ -69,6 +69,26 @@
 				</flow>
 			</flows>
 		</method>
+		<method id="void write(char[],int,int)">
+			<flows>
+				<flow isAlias="false" typeChecking="false">
+					<from sourceSinkType="Parameter" ParameterIndex="0" />
+					<to sourceSinkType="Field"
+						AccessPath="[java.io.Writer: java.io.OutputStream innerStream]"
+						AccessPathTypes="[java.io.OutputStream]" />
+				</flow>
+			</flows>
+		</method>
+		<method id="void write(char[])">
+			<flows>
+				<flow isAlias="false" typeChecking="false">
+					<from sourceSinkType="Parameter" ParameterIndex="0" />
+					<to sourceSinkType="Field"
+						AccessPath="[java.io.Writer: java.io.OutputStream innerStream]"
+						AccessPathTypes="[java.io.OutputStream]" />
+				</flow>
+			</flows>
+		</method>
 		<method id="void write(java.lang.String,int,int)">
 			<flows>
 				<flow isAlias="false" typeChecking="false">
@@ -117,6 +137,20 @@
 				</flow>
 			</flows>
 		</method>
+		<method id="java.io.PrintWriter append(java.lang.CharSequence,int,int)">
+			<flows>
+				<flow isAlias="false" typeChecking="false">
+					<from sourceSinkType="Parameter" ParameterIndex="0" />
+					<to sourceSinkType="Field"
+						AccessPath="[java.io.Writer: java.io.OutputStream innerStream]"
+						AccessPathTypes="[java.io.OutputStream]" />
+				</flow>
+				<flow isAlias="true">
+					<from sourceSinkType="Field" />
+					<to sourceSinkType="Return" />
+				</flow>
+			</flows>
+		</method>
 		<method
 			id="java.io.PrintWriter append(java.lang.CharSequence,int,int)">
 			<flows>
@@ -246,7 +280,7 @@
 		</method>
 		<method id="void print(java.lang.Object)">
 			<flows>
-				<flow isAlias="false" typeChecking="false">
+				<flow isAlias="false" typeChecking="false" cutSubfields="true">
 					<from sourceSinkType="Parameter" ParameterIndex="0" />
 					<to sourceSinkType="Field"
 						AccessPath="[java.io.Writer: java.io.OutputStream innerStream]"