1"use strict";(self.webpackChunkada_lang_io=self.webpackChunkada_lang_io||[]).push([["1833"],{61272(e,n,i){i.r(n),i.d(n,{metadata:()=>r,default:()=>x,frontMatter:()=>c,contentTitle:()=>h,toc:()=>m,assets:()=>A});var r=JSON.parse('{"id":"arm/AA-A/AA-A.14","title":"A.14. File Sharing","description":"This Reference Manual output has not been verified,","source":"@site/docs/arm/AA-A/AA-A.14.mdx","sourceDirName":"arm/AA-A","slug":"/arm/AA-A/AA-A.14","permalink":"/docs/arm/AA-A/AA-A.14","draft":false,"unlisted":false,"tags":[],"version":"current","sidebarPosition":134,"frontMatter":{"sidebar_position":134},"sidebar":"referenceManualSidebar","previous":{"title":"A.13. Exceptions in Input-Output","permalink":"/docs/arm/AA-A/AA-A.13"},"next":{"title":"A.15. The Package Command_Line","permalink":"/docs/arm/AA-A/AA-A.15"}}'),a=i(74848),s=i(28453),t=i(98113),d=i(60271);i(9011);var o=i(48554),l=i(94029);let c={sidebar_position:134},h="A.14. File Sharing",A={},m=[{value:"Dynamic Semantics",id:"dynamic-semantics",level:4},{value:"Wording Changes from Ada 95",id:"wording-changes-from-ada-95",level:4}];function f(e){let n={a:"a",admonition:"admonition",h1:"h1",h4:"h4",header:"header",p:"p",...(0,s.R)(),...e.components};return(0,a.jsxs)(a.Fragment,{children:[(0,a.jsx)(n.header,{children:(0,a.jsx)(n.h1,{id:"a14-file-sharing",children:"A.14. File Sharing"})}),"\n",(0,a.jsx)(n.admonition,{type:"danger",children:(0,a.jsxs)(n.p,{children:["This Reference Manual output has not been verified,\nand may contain omissions or errors.\nReport any problems on the ",(0,a.jsx)(n.a,{href:"https://github.com/ada-lang-io/ada-lang-io/issues/20",children:"tracking issue"})]})}),"\n","\n",(0,a.jsx)(n.h4,{id:"dynamic-semantics",children:"Dynamic Semantics"}),"\n",(0,a.jsx)(o.A,{children:"1"}),"\n",(0,a.jsxs)("p",{children:["It is not specified by the language whether the same external file can be associated with more than one file object. If such sharing is supported by the implementation, the following effects are defined: ",(0,a.jsx)("br",{})]}),"\n",(0,a.jsx)(o.A,{children:"2"}),"\n",(0,a.jsxs)("ul",{children:[(0,a.jsxs)("li",{children:["Operations on one text file object do not affect the column, line, and page numbers of any other file object.",(0,a.jsx)("br",{})]}),(0,a.jsx)(o.A,{children:"3/1"}),(0,a.jsx)(l.A,{items:["AI95-00050-01"]}),(0,a.jsxs)("li",{children:[(0,a.jsx)("i",{children:"This paragraph was deleted."}),"{",(0,a.jsx)("i",{children:"8652/0057"}),"}"," ",(0,a.jsx)("br",{})]}),(0,a.jsx)(o.A,{children:"4"}),(0,a.jsxs)("li",{children:["For direct and stream files, the current index is a property of each file object; an operation on one file object does not affect the current index of any other file object.",(0,a.jsx)("br",{})]}),(0,a.jsx)(o.A,{children:"5"}),(0,a.jsxs)("li",{children:["For direct and stream files, the current size of the file is a property of the external file. ",(0,a.jsx)("br",{})]})]}),"\n",(0,a.jsx)(o.A,{children:"6"}),"\n",(0,a.jsxs)("p",{children:["All other effects are identical. ",(0,a.jsx)("br",{})]}),"\n",(0,a.jsx)(d.A,{children:(0,a.jsx)(n.h4,{id:"wording-changes-from-ada-95",children:"Wording Changes from Ada 95"})}),"\n",(0,a.jsxs)(d.A,{children:[(0,a.jsx)(o.A,{children:"6.a/2"}),(0,a.jsx)(l.A,{items:["AI95-00050-01"]}),(0,a.jsx)(t.A,{type:"aarm",aarm:"note",children:(0,a.jsxs)(n.p,{children:["{",(0,a.jsx)("i",{children:"8652/0057"}),"}"," ",(0,a.jsx)("b",{children:"Corrigendum:"})," Removed the incorrect statement that the external files associated with the standard input, standard output, and standard error files are distinct. ",(0,a.jsx)("br",{})]})})]})]})}function x(e={}){let{wrapper:n}={...(0,s.R)(),...e.components};return n?(0,a.jsx)(n,{...e,children:(0,a.jsx)(f,{...e})}):f(e)}}}]);
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.