[ Course Documents ] : [ Subprograms ]

Previous Contents Next Keyword Index

Ada Param Passing Implementations

• Simple variables are passed by copy (value-result)

• Structured types can be either by copy or reference

• This can be a problem, because
  • Aliasing differences (reference allows aliases, but value-result does not)
  • Procedure termination by error can produce different actual parameter results

• Programs with such errors are "erroneous"