Procedures

Keywords that work with procedures.

Description

These keywords control the declaration and definition of both module-level procedures and member procedures, how they are called, how arguments are passed and how their names are seen externally to other modules. Procedures can also be declared to be executed automatically before any module-level code is executed.

Declaration

Keywords that declare and define procedures.

Linkage

Keywords that specify how procedure names are seen by external modules.

Calling conventions

Keywords that specify how arguments are used when calling procedures.

Parameter passing conventions

Keywords that specify how arguments are passed to procedures.

Variadic Procedures

Macros that allow for an arbitrary number of arguments to be passed to a procedure.

Automatic execution

Keywords that specify automatic execution of procedures.

Miscellaneous

Miscellaneous keywords.

Declaration

Declare

Declares a module-level or member procedure.

Sub

Specifies a procedure that does not return an argument.

Function

Specifies a procedure that returns an argument.

Overload

Specifies that the procedure name can be used in other procedure declarations.

Static

Specifies static storage for all variables and objects in the procedure body.

Const (Member)

Specifies a const member procedure in user-defined type definitions.

Static (Member)

Specifies a static member procedure in user-defined type definitions.

Linkage

Public

Specifies external linkage for a procedure.

Private

Specifies internal linkage for a procedure.

Alias

Specifies an alternate external name for a procedure.

Export

Specifies a procedure is to be exported from a shared library.

Lib

Specifies automatic loading of a library.

Calling conventions

stdcall

Specifies the standard calling convention for BASIC languages, including FreeBASIC.

cdecl

Specifies the standard calling convention in the C and C++ languages.

pascal

Specifies the standard calling convention in the Fortran, Pascal and Microsoft QuickBASIC/QBasic languages.

Parameter passing conventions

ByRef

Specifies passing an argument by reference.

ByVal

Specifies passing an argument by value.

Any

Disables type-checking on arguments.

Variadic Procedures

... (Ellipsis)

Indicates a variadic procedure in a declaration.

va_first

Macro to obtain the argument list in a variadic procedure.

va_arg

Macro to obtain the current argument in a variadic procedure.

va_next

Macro to move to the next argument in a variadic procedure.

Automatic execution

Constructor (Module)

Indicates a procedure is to be executed before module-level code.

Destructor (Module)

Indicates a procedure is to be executed after module-level code.

Miscellaneous

Call

Invokes a procedure.

Naked

Specifies that a function body is not to be given any prolog/epilog code

Знаете ли Вы, что такое мысленный эксперимент, gedanken experiment?
Это несуществующая практика, потусторонний опыт, воображение того, чего нет на самом деле. Мысленные эксперименты подобны снам наяву. Они рождают чудовищ. В отличие от физического эксперимента, который является опытной проверкой гипотез, "мысленный эксперимент" фокуснически подменяет экспериментальную проверку желаемыми, не проверенными на практике выводами, манипулируя логикообразными построениями, реально нарушающими саму логику путем использования недоказанных посылок в качестве доказанных, то есть путем подмены. Таким образом, основной задачей заявителей "мысленных экспериментов" является обман слушателя или читателя путем замены настоящего физического эксперимента его "куклой" - фиктивными рассуждениями под честное слово без самой физической проверки.
Заполнение физики воображаемыми, "мысленными экспериментами" привело к возникновению абсурдной сюрреалистической, спутанно-запутанной картины мира. Настоящий исследователь должен отличать такие "фантики" от настоящих ценностей.

Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.

Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").

Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.

Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.

Понятие "мысленный эксперимент" придумано специально спекулянтами - релятивистами для шулерской подмены реальной проверки мысли на практике (эксперимента) своим "честным словом". Подробнее читайте в FAQ по эфирной физике.